Skip to content

Fixup the complainy docs line #111

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

Merged
merged 1 commit into from
Jun 13, 2025
Merged

Fixup the complainy docs line #111

merged 1 commit into from
Jun 13, 2025

Conversation

grahamc
Copy link
Member

@grahamc grahamc commented Jun 13, 2025

Motivation

In #109 it merged after all the builds failed. This is because the test jobs were skipped, because their dependent build job failed. The test job being skipped was considered a pass, so it failed and merged right away.

I made the build checks mandatory as well in the settings.

@edolstra
Copy link
Collaborator

edolstra commented Jun 13, 2025

This isn't ideal. The build and tests are split because the full nix flake check takes longer than just the build. By splitting, stuff like the VM tests can start in parallel.

Can't we make the test job mandatory? (Looking at the ruleset jobs like build_x86_64-linux / test are already required to pass.)

@grahamc
Copy link
Member Author

grahamc commented Jun 13, 2025

Ah ha! That makes sense. The test jobs are already "mandatory" ... but "skipped" satisfies the "mandatory" requirement :|. I'll make the "build" step mandatory, too, which would have caught the failure.

@grahamc grahamc force-pushed the push-suswmmmyvmxm branch from 6be354c to 37ab15a Compare June 13, 2025 13:33
@grahamc grahamc changed the title Run the CI tests right after building, where all the deps are there already Fixup the complainy docs line Jun 13, 2025
Copy link

github-actions bot commented Jun 13, 2025

@edolstra edolstra enabled auto-merge June 13, 2025 13:36
@github-actions github-actions bot temporarily deployed to pull request June 13, 2025 13:40 Inactive
@edolstra edolstra added this pull request to the merge queue Jun 13, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jun 13, 2025
@edolstra edolstra added this pull request to the merge queue Jun 13, 2025
Merged via the queue into detsys-main with commit b3b5dd6 Jun 13, 2025
28 checks passed
@edolstra edolstra deleted the push-suswmmmyvmxm branch June 13, 2025 15:17
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