Skip to content

Improve GitHub Actions config for VMs #1202

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.

Sign up for GitHub

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

Jump to bottom
Merged
Akuli merged 38 commits into from
Jan 4, 2026
Merged

Improve GitHub Actions config for VMs #1202

Akuli merged 38 commits into from
Jan 4, 2026

Conversation

@Akuli
Copy link
Owner

@Akuli Akuli commented Jan 4, 2026 •
edited
Loading

  • Run all VMs from same config file, so there is much less repetition.
  • Add support for manually specifying which VMs to run.
  • Add support for "run tests on all platforms" label.

TODO:

  • actually run the VMs :)
  • stop the VMs properly (might need some special-casing)
  • create issue when VMs fail

@Akuli Akuli added the run tests on all platforms Tests run on all platforms (very slow) if a pull request has this label label Jan 4, 2026
@Akuli Akuli removed the run tests on all platforms Tests run on all platforms (very slow) if a pull request has this label label Jan 4, 2026
@Akuli Akuli added the run tests on all platforms Tests run on all platforms (very slow) if a pull request has this label label Jan 4, 2026
@Akuli Akuli removed the run tests on all platforms Tests run on all platforms (very slow) if a pull request has this label label Jan 4, 2026
@Akuli Akuli marked this pull request as ready for review January 4, 2026 21:28
@Akuli Akuli added the skip-release This PR will be excluded from release description and doesn't trigger releasing label Jan 4, 2026
@Akuli
Copy link
Owner Author

Akuli commented Jan 4, 2026

If this works, we should soon get a new auto-generated issue.

@Akuli Akuli mentioned this pull request Jan 4, 2026
Closed
@Akuli Akuli merged commit 335f535 into main Jan 4, 2026
28 checks passed
@Akuli Akuli deleted the vm-tidy branch January 4, 2026 22:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

skip-release This PR will be excluded from release description and doesn't trigger releasing

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Akuli