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