Skip to content
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

Merge back fixes for GitHub actions #2099

Merged
merged 2 commits into from
May 7, 2024
Merged

Conversation

bsdjhb
Copy link
Collaborator

@bsdjhb bsdjhb commented May 7, 2024

No description provided.

bsdjhb added 2 commits May 7, 2024 15:18
GitHub is emitting a warning that v3 is deprecated due to using
Node.js 16.

(cherry picked from commit e6dccf0)
@bsdjhb bsdjhb merged commit 8f6ec45 into CTSRD-CHERI:dev May 7, 2024
8 checks passed
@bsdjhb bsdjhb deleted the github_actions branch May 7, 2024 22:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant