Stiopa Koltsov 68eecce0f4 Add super-linter ... Example run with error: [here](https://github.com/stepancheg/Idris2/runs/1718861440?check_suite_focus=true) The downside is super-linter runs for 3 minutes. But that's probably expected since the linter is [provided by GitHub](https://github.com/github/super-linter). Two days ago when I submitted #931 I did not know super-linter exists.		2021-01-21 11:31:35 +00:00
..
ci-api.yml	Fix CI	2020-11-23 18:06:23 +00:00
ci-buildprevious.yml	Update previous-build action from 0.2.2 to 0.3.0 (#925)	2021-01-15 18:00:46 +00:00
ci-lint.yml	GitHub workflow to schedule linter	2021-01-16 10:00:03 +00:00
ci-macos.yml	Fix CI	2020-11-23 18:06:23 +00:00
ci-nix.yml	Added nix files (#855)	2021-01-15 17:20:52 +00:00
ci-super-linter.yml	Add super-linter	2021-01-21 11:31:35 +00:00
ci-ubuntu-racket.yml	Fix CI	2020-11-23 18:06:23 +00:00
ci-ubuntu.yml	Fix CI	2020-11-23 18:06:23 +00:00
ci-windows.yml	Fix CI	2020-11-23 18:06:23 +00:00