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

chore: migrate test runners to new CI cluster #210

Merged

pwillett merged 1 commit into main from patrick/runs-on

Nov 9, 2023

Merged

chore: migrate test runners to new CI cluster #210

Migrate test runners to new CI cluster

This check has been archived and is scheduled for deletion. Learn more about checks retention

GitHub Actions / Trunk Check succeeded Nov 9, 2023 in 8s

Trunk Check

Checked 3 modified files
✔ No issues

Details

To reproduce and test locally, run:
trunk check

For help resolving these issues, see our docs on running on PRs or debugging Trunk Check

View more details on GitHub Actions