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
253 workflow run results
253 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] Implement Zippable for several standard types + small cleanup Lint Code Base #5472: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 2m 30s main
main
October 16, 2023 21:41 2m 30s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5471: Pull request #2791 synchronize by buzden
October 16, 2023 17:45 2m 51s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 17:45 2m 51s
[ base ] Implement Zippable for several standard types + small cleanup Lint Code Base #5470: Pull request #3106 opened by buzden
October 16, 2023 17:32 3m 4s buzden:lacking-zippables
buzden:lacking-zippables
October 16, 2023 17:32 3m 4s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5469: Pull request #2791 synchronize by buzden
October 16, 2023 12:34 2m 27s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 12:34 2m 27s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Lint Code Base #5468: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 2m 23s main
main
October 16, 2023 08:49 2m 23s
[ fix ] Prevent relative path traversal in elaborator scripts Lint Code Base #5467: Commit 3e5d8a5 pushed by gallais
October 16, 2023 08:43 2m 45s main
main
October 16, 2023 08:43 2m 45s
[ test ] Remove unnecessary messages from stderr Lint Code Base #5466: Pull request #3105 opened by MithicSpirit
October 16, 2023 03:22 2m 48s MithicSpirit:node_test_cleanup
MithicSpirit:node_test_cleanup
October 16, 2023 03:22 2m 48s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers.All Lint Code Base #5465: Pull request #3102 opened by 0xd34df00d
October 15, 2023 20:56 2m 20s 0xd34df00d:vect-all-applicative
0xd34df00d:vect-all-applicative
October 15, 2023 20:56 2m 20s
[ fix ] Prevent relative path traversal in elaborator scripts Lint Code Base #5464: Pull request #3101 opened by AlgebraicWolf
October 15, 2023 20:47 2m 25s AlgebraicWolf:fix-relative-path-traversal
AlgebraicWolf:fix-relative-path-traversal
October 15, 2023 20:47 2m 25s
[ fix #3097 ] Fix issues parsing %logging followed by named impls (#3… Lint Code Base #5463: Commit c04404a pushed by gallais
October 13, 2023 18:03 3m 14s main
main
October 13, 2023 18:03 3m 14s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Lint Code Base #5462: Pull request #3098 synchronize by dunhamsteve
October 13, 2023 16:18 2m 58s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 13, 2023 16:18 2m 58s
[ impl ] Support default implicits in named implementations (#3100) Lint Code Base #5461: Commit 419a440 pushed by gallais
October 13, 2023 14:26 2m 31s main
main
October 13, 2023 14:26 2m 31s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Lint Code Base #5460: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 2m 46s main
main
October 13, 2023 14:26 2m 46s
[ new ] add Data.List.grouped function (#3089) Lint Code Base #5459: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 2m 47s main
main
October 13, 2023 12:48 2m 47s
[ base ] Add a bridge between MonadState and Ref Lint Code Base #5458: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 2m 25s main
main
October 13, 2023 12:47 2m 25s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Lint Code Base #5457: Pull request #3096 synchronize by gallais
October 13, 2023 12:45 3m 5s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 13, 2023 12:45 3m 5s
[ impl ] Support default implicits in named implementations Lint Code Base #5456: Pull request #3100 synchronize by gallais
October 13, 2023 12:43 3m 7s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 13, 2023 12:43 3m 7s
[ elab ] Implement file operations, e.g. applicable for type providers Lint Code Base #5455: Commit 6815aef pushed by gallais
October 13, 2023 12:26 2m 30s main
main
October 13, 2023 12:26 2m 30s
[ impl ] Support default implicits in named implementations Lint Code Base #5454: Pull request #3100 synchronize by buzden
October 12, 2023 12:31 2m 26s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 12, 2023 12:31 2m 26s
[ impl ] Support default implicits in named implementations Lint Code Base #5453: Pull request #3100 opened by buzden
October 12, 2023 12:29 2m 29s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 12, 2023 12:29 2m 29s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Lint Code Base #5452: Pull request #3099 synchronize by buzden
October 12, 2023 11:47 2m 43s buzden:file-io-in-elab
buzden:file-io-in-elab
October 12, 2023 11:47 2m 43s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Lint Code Base #5451: Pull request #3099 synchronize by buzden
October 12, 2023 09:45 2m 34s buzden:file-io-in-elab
buzden:file-io-in-elab
October 12, 2023 09:45 2m 34s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Lint Code Base #5450: Pull request #3099 opened by buzden
October 11, 2023 20:21 2m 32s buzden:file-io-in-elab
buzden:file-io-in-elab
October 11, 2023 20:21 2m 32s
[ elab ] Make %macro-function be callable without the extension Lint Code Base #5449: Commit cbbd0c8 pushed by gallais
October 11, 2023 12:20 5m 48s main
main
October 11, 2023 12:20 5m 48s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Lint Code Base #5448: Pull request #3098 opened by dunhamsteve
October 11, 2023 01:37 2m 27s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 11, 2023 01:37 2m 27s