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

[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5343: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:49 3m 34s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:49 3m 34s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5342: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:43 2m 49s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:43 2m 49s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5341: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:40 3m 20s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:40 3m 20s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5340: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:39 2m 57s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:39 2m 57s
[ ttc ] Compare modification time with nanosecond precision Lint Code Base #5339: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:29 3m 1s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:29 3m 1s
[ new ] function options for case blocks Lint Code Base #5338: Pull request #3062 synchronize by gallais
August 29, 2023 15:06 2m 47s gallais:fnopt-case
gallais:fnopt-case
August 29, 2023 15:06 2m 47s
[ new ] function options for case blocks Lint Code Base #5337: Pull request #3062 opened by gallais
August 29, 2023 14:30 2m 55s gallais:fnopt-case
gallais:fnopt-case
August 29, 2023 14:30 2m 55s
Refactor S-Exp protocols to depend on fewer Idris modules Lint Code Base #5336: Pull request #3060 synchronize by ohad
August 29, 2023 12:35 2m 58s ohad:parser-refactor
ohad:parser-refactor
August 29, 2023 12:35 2m 58s
Refactor S-Exp protocols to depend on fewer Idris modules Lint Code Base #5335: Pull request #3060 synchronize by ohad
August 29, 2023 10:57 3m 15s ohad:parser-refactor
ohad:parser-refactor
August 29, 2023 10:57 3m 15s
Refactor S-Exp protocols to depend on fewer Idris modules Lint Code Base #5334: Pull request #3060 synchronize by ohad
August 28, 2023 14:53 2m 54s ohad:parser-refactor
ohad:parser-refactor
August 28, 2023 14:53 2m 54s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5333: Pull request #2791 synchronize by buzden
August 28, 2023 14:29 3m 58s buzden:memo-lazy
buzden:memo-lazy
August 28, 2023 14:29 3m 58s
Refactor S-Exp protocols to depend on fewer Idris modules Lint Code Base #5332: Pull request #3060 opened by ohad
August 28, 2023 14:26 3m 22s ohad:parser-refactor
ohad:parser-refactor
August 28, 2023 14:26 3m 22s
[ base ] Add lists' infix-by functions, complementary to existing ones Lint Code Base #5331: Commit a4ccb27 pushed by gallais
August 28, 2023 12:54 3m 25s main
main
August 28, 2023 12:54 3m 25s
[ fix #3057 ] properly handle char literals in comments Lint Code Base #5330: Pull request #3058 opened by gallais
August 28, 2023 12:27 2m 53s issue3057
issue3057
August 28, 2023 12:27 2m 53s
[ fix #3057 ] properly handle char literals in comments Lint Code Base #5329: Commit 6fe4a07 pushed by gallais
August 28, 2023 12:25 4m 13s issue3057
issue3057
August 28, 2023 12:25 4m 13s
[ base ] Add lists' infix-by functions, complementary to existing ones Lint Code Base #5328: Pull request #3056 opened by buzden
August 25, 2023 09:50 2m 52s buzden:list-infix-by
buzden:list-infix-by
August 25, 2023 09:50 2m 52s
[ prelude ] Add some lacking %tcinlines Lint Code Base #5327: Commit cf9a73f pushed by gallais
August 23, 2023 10:04 2m 36s main
main
August 23, 2023 10:04 2m 36s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Lint Code Base #5326: Commit ebbae42 pushed by gallais
August 23, 2023 10:04 2m 21s main
main
August 23, 2023 10:04 2m 21s
[ racket ] Add library loading (#3049) Lint Code Base #5325: Commit 694b165 pushed by gallais
August 23, 2023 10:04 2m 24s main
main
August 23, 2023 10:04 2m 24s
[ unelab ] Properly unelaborate metavariables originating from `%sear… Lint Code Base #5324: Commit 115c9e0 pushed by gallais
August 23, 2023 07:02 2m 21s main
main
August 23, 2023 07:02 2m 21s
[ unelab ] Properly unelaborate metavariables originating from %search Lint Code Base #5323: Pull request #3055 opened by AlgebraicWolf
August 22, 2023 21:32 2m 51s AlgebraicWolf:unelaborate-search
AlgebraicWolf:unelaborate-search
August 22, 2023 21:32 2m 51s
implement DESTDIR support for distros Lint Code Base #5322: Commit 48dbc32 pushed by gallais
August 22, 2023 15:44 3m 1s main
main
August 22, 2023 15:44 3m 1s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Lint Code Base #5321: Pull request #3054 synchronize by Russoul
August 22, 2023 14:52 2m 48s Russoul:uncons
Russoul:uncons
August 22, 2023 14:52 2m 48s
Add library loading for Racket Lint Code Base #5320: Pull request #3049 synchronize by ysangkok
August 21, 2023 16:10 2m 57s janus/racket-lib
janus/racket-lib
August 21, 2023 16:10 2m 57s
implement DESTDIR support for distros Lint Code Base #5319: Pull request #3053 synchronize by juhp
August 20, 2023 08:25 2m 40s juhp:DESTDIR
juhp:DESTDIR
August 20, 2023 08:25 2m 40s