Commit graph

4 commits

Author SHA1 Message Date
Fabian Boehm
045173968e cirrus: Remove jammy-armv7-32bit
Gives an "exec format error"???
2023-09-09 09:15:13 +02:00
Fabian Boehm
c7d5fafc4e Prune Cirrus CI tasks
It's simply too many, especially given we have some tests that need interactivity.
2023-09-09 08:42:55 +02:00
ridiculousfish
246246bb5c Try to defeat pullbot-driven CI runs
Some forks of fish have outstanding PRs which trigger CI whenever we
push to main. Spare cirrus's infra by only running on fish-shell.
2022-11-12 14:43:44 -08:00
ridiculousfish
67883737c0 Add cirrus.yml
This adds a CI job script for cirrus-ci.com.

Results will be at https://cirrus-ci.com/github/fish-shell/fish-shell
2022-11-12 14:14:17 -08:00