Skip to content

Add GitHub Actions#7

Merged
thomasw04 merged 25 commits intomainfrom
feature/actions
Feb 15, 2025
Merged

Add GitHub Actions#7
thomasw04 merged 25 commits intomainfrom
feature/actions

Conversation

@xarantolus
Copy link
Contributor

Some basic workflows we could use:

  • Code formatting checker, mostly useful for Pull Requests
  • Build check for every supported target

Advanced things or future things we can think about:

  • Hardware tests
  • Formal verification in CI

@xarantolus xarantolus changed the title Draft: Add GitHub Actions Add GitHub Actions Feb 15, 2025
@thomasw04 thomasw04 merged commit 2098109 into main Feb 15, 2025
4 of 6 checks passed
@xarantolus xarantolus deleted the feature/actions branch February 15, 2025 09:33
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.

2 participants

Comments