You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
aya/.github/workflows
Tamir Duberstein c92c6e35c8
.github: save CI time
These jobs take 18 seconds of machine time and 21 seconds of setup;
consolidate them into one job to cut down on the overhead.
2 weeks ago
..
ci.yml .github: save CI time 2 weeks ago
gen.yml .github: avoid spurious CI failures in forks 2 months ago