Idris2/.github/workflows
Stiopa Koltsov 855ee3cbd0 Ignore @generated in super-linter
Super-linter supports it now
2021-06-28 17:26:32 +01:00
..
ci-lint.yml Remove unsecure commands (#1433) 2021-05-20 10:21:39 +01:00
ci-macos-combined.yml [ refactor ] to allow testpools to specify a backend (#1591) 2021-06-21 22:12:17 +01:00
ci-nix.yml Nix fixes (#1623) 2021-06-28 11:47:47 +01:00
ci-super-linter.yml Ignore @generated in super-linter 2021-06-28 17:26:32 +01:00
ci-ubuntu-combined.yml [ refactor ] Remove Data.Strings module (#1607) 2021-06-28 13:48:37 +01:00
ci-windows.yml [ refactor ] to allow testpools to specify a backend (#1591) 2021-06-21 22:12:17 +01:00