You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Alex Crichton 725bd33bd3 Update github CI concurrency key ... This bit me while releasing wasi-sdk-26/27 because while I tried to get both builds going at once they overlapped in their key meaning that they had to progress one-at-a-time. This uses `github.ref` instead of the PR number which I think should be more robust in situations like this.		4 months ago
..
main.yml	Update github CI concurrency key	4 months ago