New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Update CI #4

Closed

64J0 opened this issue Jul 10, 2024 · 0 comments · Fixed by #5

Assignees

Labels

bug

Member

64J0 commented Jul 10, 2024

Description:

CI is currently broken due to the usage of old GitHub actions versions. We need to update it.

64J0 added the bug label

64J0 mentioned this issue

Update CI actions #5

Merged

64J0 self-assigned this

64J0 closed this as completed in #5

# for free to join this conversation on GitHub. Already have an account? # to comment