Skip to content
This repository has been archived by the owner on Dec 12, 2024. It is now read-only.

Add GitHub CI workflow #45

Merged
merged 14 commits into from
Apr 29, 2024
Merged

Add GitHub CI workflow #45

merged 14 commits into from
Apr 29, 2024

Conversation

KendallWeihe
Copy link
Contributor

Add CI jobs for:

  • build
  • test
  • lint

Known limitation, windows is lacking from test job #44

Added just fmt recipe to distinguish between running linting, which is intended to output errors in the case of issues, and the actual formatting of the code

Fixed pre-existing linting issues

Base automatically changed from kendall/hermit-deps to main April 29, 2024 18:28
@KendallWeihe KendallWeihe merged commit 72efe63 into main Apr 29, 2024
6 checks passed
@KendallWeihe KendallWeihe deleted the kendall/github-ci branch April 29, 2024 18:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants