Skip to content

Update headers from nodejs/node tag v19.3.0 #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 2 commits into from

Conversation

github-actions[bot]
Copy link

@github-actions github-actions bot commented Jan 3, 2023

No description provided.

KevinEady and others added 2 commits January 3, 2023 15:19
commit b9a57c3
Author: Kevin Eady <8634912+KevinEady@users.noreply.github.com>
Date:   Tue Jan 3 15:18:03 2023 +0100

    Address review comments
    - Add 'use strict'
    - Make write-symbols main() async

commit eb2f628
Author: Kevin Eady <8634912+KevinEady@users.noreply.github.com>
Date:   Sat Dec 31 04:28:19 2022 +0100

    Add GitHub Actions sync workflow

commit 0834c30
Author: Kevin Eady <8634912+KevinEady@users.noreply.github.com>
Date:   Fri Dec 30 23:47:57 2022 +0100

    Use latest release from nodejs.org releases

commit 8e693f7
Author: Kevin Eady <8634912+KevinEady@users.noreply.github.com>
Date:   Fri Dec 30 03:28:45 2022 +0100

    Use current node major version branch for headers

commit 63c61f0
Author: Kevin Eady <8634912+KevinEady@users.noreply.github.com>
Date:   Fri Dec 30 03:01:04 2022 +0100

    Add helper scripts
    - update-headers.js: Fetch latest headers from nodejs/node
    - write-symbols.js: Use clang to process headers to create symbols.js
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant