Skip to content

Use WATO runners to run CI#3

Merged
ben-z merged 3 commits intomainfrom
ben-z-patch-1
May 15, 2025
Merged

Use WATO runners to run CI#3
ben-z merged 3 commits intomainfrom
ben-z-patch-1

Conversation

@ben-z
Copy link
Member

@ben-z ben-z commented May 11, 2025

This PR makes use of the WATO CI runners introduced in WATonomous/slurm-gha#24 .

cc @alexboden

This PR makes use of the WATO CI runners introduced in WATonomous/slurm-gha#24 .

cc @alexboden
@alexboden
Copy link

Wahoo, it started!

@alexboden
Copy link

alexboden commented May 12, 2025

Switched to GiB for tmpdisk feel free to cancel if the extra jobs are unneeded.

@ben-z ben-z merged commit 48c5c45 into main May 15, 2025
2 checks passed
@ben-z ben-z deleted the ben-z-patch-1 branch May 15, 2025 18:22
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