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
1,158 workflow runs
1,158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clean removes generated docs Lint Code Base #6324: Pull request #3353 synchronize by Matthew-Mosior
August 1, 2024 13:45 1m 54s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
August 1, 2024 13:45 1m 54s
Merge pull request #3361 from Matthew-Mosior/issue-2766-hint-not-list… Lint Code Base #6323: Commit b1fff6f pushed by andrevidela
July 31, 2024 15:26 1m 50s main
main
July 31, 2024 15:26 1m 50s
%hint not listed as a pragma Lint Code Base #6322: Pull request #3361 synchronize by Matthew-Mosior
July 31, 2024 13:24 1m 48s Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
July 31, 2024 13:24 1m 48s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #6321: Pull request #2791 synchronize by buzden
July 31, 2024 09:50 2m 16s buzden:memo-lazy
buzden:memo-lazy
July 31, 2024 09:50 2m 16s
Merge pull request #3360 from Matthew-Mosior/issue-3232-init-doesnt-c… Lint Code Base #6320: Commit 72241a4 pushed by andrevidela
July 31, 2024 08:16 1m 50s main
main
July 31, 2024 08:16 1m 50s
idris2 --init doesnt check the name of a package Lint Code Base #6319: Pull request #3360 synchronize by Matthew-Mosior
July 29, 2024 14:32 1m 51s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 29, 2024 14:32 1m 51s
[ new ] totality checking can look under constructors Lint Code Base #6318: Pull request #3362 opened by dunhamsteve
July 28, 2024 03:48 1m 56s dunhamsteve:totality2
dunhamsteve:totality2
July 28, 2024 03:48 1m 56s
Clean removes generated docs Lint Code Base #6317: Pull request #3353 synchronize by Matthew-Mosior
July 27, 2024 22:35 1m 49s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 27, 2024 22:35 1m 49s
Clean removes generated docs Lint Code Base #6316: Pull request #3353 synchronize by Matthew-Mosior
July 27, 2024 22:33 1m 50s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 27, 2024 22:33 1m 50s
%hint not listed as a pragma Lint Code Base #6315: Pull request #3361 opened by Matthew-Mosior
July 26, 2024 21:44 1m 48s Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
July 26, 2024 21:44 1m 48s
idris2 --init doesnt check the name of a package Lint Code Base #6314: Pull request #3360 synchronize by Matthew-Mosior
July 26, 2024 18:21 1m 48s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 18:21 1m 48s
idris2 --init doesnt check the name of a package Lint Code Base #6313: Pull request #3360 synchronize by Matthew-Mosior
July 26, 2024 17:14 1m 54s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 17:14 1m 54s
idris2 --init doesnt check the name of a package Lint Code Base #6312: Pull request #3360 synchronize by Matthew-Mosior
July 26, 2024 17:11 2m 1s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 17:11 2m 1s
idris2 --init doesnt check the name of a package Lint Code Base #6311: Pull request #3360 opened by Matthew-Mosior
July 26, 2024 17:06 1m 52s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 17:06 1m 52s
Clean removes generated docs Lint Code Base #6310: Pull request #3353 synchronize by Matthew-Mosior
July 26, 2024 13:53 1m 59s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 26, 2024 13:53 1m 59s
[ test ] for the perf regression Lint Code Base #6309: Commit 3f76bfd pushed by gallais
July 26, 2024 13:45 1m 48s main
main
July 26, 2024 13:45 1m 48s
Add fromTTImp, fromName, and fromDecls Lint Code Base #6308: Commit 40f3987 pushed by gallais
July 26, 2024 13:24 1m 53s main
main
July 26, 2024 13:24 1m 53s
Revert "[ new ] totality checking can look under constructors (#3328)" Lint Code Base #6307: Pull request #3359 synchronize by gallais
July 26, 2024 12:58 1m 55s gallais:revert-totality-modulo
gallais:revert-totality-modulo
July 26, 2024 12:58 1m 55s
Revert "[ new ] totality checking can look under constructors (#3328)" Lint Code Base #6306: Pull request #3359 opened by gallais
July 26, 2024 12:27 1m 54s gallais:revert-totality-modulo
gallais:revert-totality-modulo
July 26, 2024 12:27 1m 54s
[ linear ] typo in the docstring Lint Code Base #6305: Commit fdcd4d9 pushed by gallais
July 26, 2024 12:25 1m 56s main
main
July 26, 2024 12:25 1m 56s
[ linear ] typo in the docstring Lint Code Base #6304: Pull request #3358 opened by gallais
July 26, 2024 12:25 1m 46s gallais:typo
gallais:typo
July 26, 2024 12:25 1m 46s
Dictionary syntax Lint Code Base #6303: Pull request #3356 opened by andrevidela
July 26, 2024 12:13 1m 55s andrevidela:dictionary-syntax
andrevidela:dictionary-syntax
July 26, 2024 12:13 1m 55s
Clean removes generated docs Lint Code Base #6302: Pull request #3353 synchronize by Matthew-Mosior
July 25, 2024 21:58 1m 50s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 25, 2024 21:58 1m 50s
Clean removes generated docs Lint Code Base #6301: Pull request #3353 opened by Matthew-Mosior
July 25, 2024 18:19 1m 51s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 25, 2024 18:19 1m 51s
Show module docstring for namespace indexes (#3351) Lint Code Base #6300: Commit 91d0eb3 pushed by gallais
July 25, 2024 12:18 1m 57s main
main
July 25, 2024 12:18 1m 57s