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

Improve GitHub actions. #102

Merged
merged 1 commit into from
Feb 8, 2024
Merged

Conversation

nnethercote
Copy link
Contributor

mdbook test isn't run on CI! It should be.

Plus some other CI improvements, based on the equivalent file at github.com/nnethercote/perf-book/:

  • Run actions on pull requests, to allow tests to run before merging.
  • Add some missing names for steps.
  • Update actions/checkout from v2 to v3.

@nnethercote
Copy link
Contributor Author

This shouldn't be merged until #101 fixes the mdbook test failures.

@nnethercote
Copy link
Contributor Author

Note that the CI actions ran for this PR (good!) and also failed due to the failing tests (good!).

`mdbook test` isn't run on CI! It should be.

Plus some other CI improvements, based on the equivalent file at
`github.com/nnethercote/perf-book/`:
- Run actions on pull requests, to allow tests to run before merging.
- Add some missing names for steps.
- Update `actions/checkout` from v2 to v3.
@Veykril
Copy link
Owner

Veykril commented Feb 8, 2024

Rebased it to see whether CI turns green (which it does)
Thanks!

@Veykril Veykril merged commit 14eb2d7 into Veykril:master Feb 8, 2024
1 check passed
@nnethercote nnethercote deleted the run-tests-on-CI branch February 8, 2024 09:36
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