Skip to content

Actions: idris-lang/Idris2

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
199 workflow run results
199 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ error ] Improve error messages for Delay &co Lint Code Base #5288: Pull request #3037 reopened by gallais
August 4, 2023 12:39 2m 56s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 12:39 2m 56s
Erase additional PreorderReasoning arguments Lint Code Base #5287: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 2m 10s main
main
August 4, 2023 12:37 2m 10s
Erase additional PreorderReasoning arguments Lint Code Base #5286: Pull request #3039 opened by madman-bob
August 4, 2023 10:03 2m 44s madman-bob:preorder-reasoning-erasure
madman-bob:preorder-reasoning-erasure
August 4, 2023 10:03 2m 44s
[ error ] Improve error messages for Delay &co Lint Code Base #5285: Pull request #3037 synchronize by dunhamsteve
August 4, 2023 01:02 2m 17s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 01:02 2m 17s
[ fix ] fix scheme002 test on windows Lint Code Base #5284: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 2m 14s main
main
August 3, 2023 22:16 2m 14s
[ fix ] Fix error handling in windows getTermLines Lint Code Base #5283: Pull request #3038 opened by dunhamsteve
August 3, 2023 20:26 2m 16s dunhamsteve:fix-win-ci
dunhamsteve:fix-win-ci
August 3, 2023 20:26 2m 16s
[ error ] Improve error messages for Delay &co Lint Code Base #5282: Pull request #3037 opened by dunhamsteve
August 3, 2023 18:12 2m 29s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 3, 2023 18:12 2m 29s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5281: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 15:14 2m 56s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 15:14 2m 56s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5280: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 14:08 2m 57s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 14:08 2m 57s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5279: Pull request #3027 synchronize by dunhamsteve
August 1, 2023 13:43 2m 20s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 1, 2023 13:43 2m 20s
[ elab ] Make %runElab expressions have unrestricted quantity Lint Code Base #5278: Pull request #2021 synchronize by buzden
August 1, 2023 13:07 2m 49s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 1, 2023 13:07 2m 49s
[ docs ] Fix the formatting warning in the docs Lint Code Base #5277: Commit b7bda5e pushed by gallais
August 1, 2023 11:48 2m 30s main
main
August 1, 2023 11:48 2m 30s
[ docs ] Fix the formatting warning in the docs Lint Code Base #5276: Pull request #3035 opened by buzden
August 1, 2023 11:24 2m 29s buzden:fix-doc-formatting-warning
buzden:fix-doc-formatting-warning
August 1, 2023 11:24 2m 29s
[ elab ] Make %runElab expressions have unrestricted quantity Lint Code Base #5275: Pull request #2021 synchronize by buzden
August 1, 2023 10:55 2m 17s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 1, 2023 10:55 2m 17s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint Code Base #5274: Pull request #3034 synchronize by buzden
August 1, 2023 10:16 2m 19s buzden:macro-without-extension
buzden:macro-without-extension
August 1, 2023 10:16 2m 19s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint Code Base #5273: Pull request #3034 opened by buzden
August 1, 2023 10:13 2m 18s buzden:macro-without-extension
buzden:macro-without-extension
August 1, 2023 10:13 2m 18s
[ fix ] Fixes build broken by #3021 Lint Code Base #5272: Commit b481994 pushed by gallais
August 1, 2023 07:01 2m 46s main
main
August 1, 2023 07:01 2m 46s
[ fix ] Fixes build broken in #3021 Lint Code Base #5271: Pull request #3033 opened by dunhamsteve
August 1, 2023 00:35 2m 11s dunhamsteve:fix-build
dunhamsteve:fix-build
August 1, 2023 00:35 2m 11s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5270: Pull request #3027 synchronize by dunhamsteve
July 31, 2023 18:26 2m 46s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 31, 2023 18:26 2m 46s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5269: Pull request #3027 synchronize by gallais
July 31, 2023 10:42 2m 25s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 31, 2023 10:42 2m 25s
Update INSTALL.md Lint Code Base #5268: Pull request #2708 synchronize by gallais
July 31, 2023 07:42 2m 46s buggymcbugfix:patch-1
buggymcbugfix:patch-1
July 31, 2023 07:42 2m 46s
feat: even and odd for Nat and Integral (#3021) Lint Code Base #5267: Commit c7abb14 pushed by gallais
July 31, 2023 07:36 2m 34s main
main
July 31, 2023 07:36 2m 34s
feat: even and odd for Nat and Integral Lint Code Base #5266: Pull request #3021 synchronize by gallais
July 31, 2023 07:36 2m 20s scarf005:even-odd
scarf005:even-odd
July 31, 2023 07:36 2m 20s
[ new ] Fixity access modifier (#3011) Lint Code Base #5265: Commit 1fa6384 pushed by gallais
July 31, 2023 07:35 2m 19s main
main
July 31, 2023 07:35 2m 19s
Fixity access modifier Lint Code Base #5264: Pull request #3011 synchronize by gallais
July 31, 2023 07:35 2m 22s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 31, 2023 07:35 2m 22s