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 e5eb3058aa
.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 days ago
..
ci.yml .github: save CI time 2 days ago
gen.yml .github: avoid spurious CI failures in forks 2 months ago