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

[ test ] Fix package tests hygiene Lint Code Base #5422: Pull request #3088 opened by buzden
October 3, 2023 14:32 2m 37s buzden:fix-pkg-tests-hygiene
buzden:fix-pkg-tests-hygiene
October 3, 2023 14:32 2m 37s
[ elab ] Implement Ord for Count Lint Code Base #5421: Pull request #3087 opened by buzden
October 3, 2023 10:33 2m 46s buzden:ord-count
buzden:ord-count
October 3, 2023 10:33 2m 46s
Add Monad instance for Prelude.id Lint Code Base #5420: Pull request #3086 opened by madman-bob
October 3, 2023 09:53 3m 17s madman-bob:id-monad
madman-bob:id-monad
October 3, 2023 09:53 3m 17s
[ test ] fix pkgs test failures Lint Code Base #5419: Pull request #3085 opened by dunhamsteve
October 3, 2023 05:30 2m 20s dunhamsteve:fix-pkg006
dunhamsteve:fix-pkg006
October 3, 2023 05:30 2m 20s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5418: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 3m 3s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 3m 3s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint Code Base #5417: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 2m 18s main
main
October 1, 2023 06:16 2m 18s
Several small changes each not worth its own PR Lint Code Base #5416: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 2m 24s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 2m 24s
Several small changes each not worth its own PR Lint Code Base #5415: Pull request #3081 opened by buzden
September 29, 2023 10:28 2m 56s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 2m 56s
[ fix ] Fix Show of TTImp for functions with with clauses Lint Code Base #5414: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 2m 23s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 2m 23s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5413: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 2m 29s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 2m 29s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Lint Code Base #5412: Commit 46483fd pushed by gallais
September 25, 2023 21:25 3m 26s main
main
September 25, 2023 21:25 3m 26s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #5411: Commit 3886200 pushed by gallais
September 25, 2023 18:51 2m 31s main
main
September 25, 2023 18:51 2m 31s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #5410: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 2m 30s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 2m 30s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint Code Base #5409: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 2m 28s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 2m 28s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5408: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 2m 56s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 2m 56s
[ base ] Add update functions to sorted maps Lint Code Base #5407: Commit 6dc06cd pushed by gallais
September 23, 2023 21:47 2m 23s main
main
September 23, 2023 21:47 2m 23s
[ base ] Add update functions to sorted maps Lint Code Base #5406: Pull request #3080 synchronize by buzden
September 23, 2023 19:30 2m 21s buzden:update-for-map
buzden:update-for-map
September 23, 2023 19:30 2m 21s
[ base ] Add update functions to sorted maps Lint Code Base #5405: Pull request #3080 synchronize by buzden
September 23, 2023 19:30 3m 7s buzden:update-for-map
buzden:update-for-map
September 23, 2023 19:30 3m 7s
[ base ] Add update functions to sorted maps Lint Code Base #5404: Pull request #3080 opened by buzden
September 23, 2023 15:12 2m 27s buzden:update-for-map
buzden:update-for-map
September 23, 2023 15:12 2m 27s
[ elab ] Print script's FC in the bad elaboration script error Lint Code Base #5403: Commit a643e3a pushed by gallais
September 22, 2023 10:55 2m 50s main
main
September 22, 2023 10:55 2m 50s
[ elab ] Print script's FC in the bad elaboration script error Lint Code Base #5402: Pull request #3079 opened by buzden
September 21, 2023 09:48 2m 24s buzden:print-script-fc-in-badelabscript
buzden:print-script-fc-in-badelabscript
September 21, 2023 09:48 2m 24s
Fix typo in namespace for [bi]traversable composition Lint Code Base #5401: Commit f6c000e pushed by CodingCellist
September 20, 2023 07:16 2m 31s main
main
September 20, 2023 07:16 2m 31s
Fix typo in namespace for [bi]traversable composition Lint Code Base #5400: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 3m 8s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 3m 8s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #5399: Pull request #3076 opened by buzden
September 15, 2023 14:05 2m 23s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 2m 23s
[ ci ] re 3067: fix CI on main branch Lint Code Base #5398: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 2m 24s main
main
September 15, 2023 10:05 2m 24s