Guillaume ALLAIS d74c5f362a [ ci ] turn bootstrap-racket off		2021-10-29 17:57:55 +01:00
..
ci-bootstrap.yml	[ ci ] new bootstrap-specific build (#1936)	2021-09-20 11:26:32 +01:00
ci-idris2.yml	[ ci ] turn bootstrap-racket off	2021-10-29 17:57:55 +01:00
ci-lint.yml	actually, with the change to the super linter, there's really no point in having CI work on both master and main at the same time, we just need to rename the branch right away for a smooth transition.	2021-07-22 13:42:45 +01:00
ci-sphinx.yml	actually, with the change to the super linter, there's really no point in having CI work on both master and main at the same time, we just need to rename the branch right away for a smooth transition.	2021-07-22 13:42:45 +01:00
ci-super-linter.yml	actually, with the change to the super linter, there's really no point in having CI work on both master and main at the same time, we just need to rename the branch right away for a smooth transition.	2021-07-22 13:42:45 +01:00