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

Fix ed25519 upstream check #666

Merged
merged 1 commit into from
Nov 23, 2023

Conversation

jku
Copy link
Collaborator

@jku jku commented Oct 25, 2023

Fixes: #651

Upgrading to github-script v5 broke this (should have read the changelog more carefully...) but the fix seems to be easy

@lukpueh
Copy link
Member

lukpueh commented Nov 23, 2023

Sorry, I missed this PR. @jku, do you mind fixing the conflicts? Then I'll review right away.

github-script v5 no longer offers the rest methods directly on the
github object, instead they are available only in github.rest.

https://github.com/actions/github-script#breaking-changes-in-v5
@jku jku force-pushed the fix-ed25519-upstream-check branch from 4e648bf to fe4b578 Compare November 23, 2023 12:25
@jku
Copy link
Collaborator Author

jku commented Nov 23, 2023

I removed the improvements to uses lines, should be a clean merge now

Copy link
Member

@lukpueh lukpueh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cross-checked with Changelog. Should be fine.

@lukpueh lukpueh merged commit 5a46c08 into secure-systems-lab:main Nov 23, 2023
17 checks passed
@jku
Copy link
Collaborator Author

jku commented Nov 23, 2023

this does seem fixed but the workflow still fails with 'Resource not accessible by integration' when it tries to create an issue... I wonder if some setting was changed meanwhile?

@jku
Copy link
Collaborator Author

jku commented Nov 23, 2023

oh it was already broken since commit d082614: permssions were set to none, which prevents filing an issue when needed

#679

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.

ed25519 workflow is broken
2 participants