Skip to content

Conversation

jserv
Copy link
Contributor

@jserv jserv commented Sep 26, 2024

No description provided.

@jserv jserv merged commit 6c8c4e2 into master Sep 26, 2024
20 checks passed
@jserv jserv deleted the ci-bump branch October 2, 2024 01:02
vestata pushed a commit to vestata/rv32emu that referenced this pull request Jan 24, 2025
CI: Bump prebuilt GNU Toolchains
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