Skip to content

Actions: buzden/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yml
245 workflow runs
245 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Treat (>>) specially in elaborator scripts Lint the sources #672: Commit f66ccc8 pushed by buzden
September 27, 2024 13:10 12s seq-in-elab-monad
seq-in-elab-monad
September 27, 2024 13:10 12s
[ base ] Deprecate toList functions for sorted sets and maps Lint the sources #671: Commit 3e15034 pushed by buzden
September 23, 2024 16:37 11s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 16:37 11s
[ base ] Deprecate toList functions for sorted sets and maps Lint the sources #670: Commit b8b7bb2 pushed by buzden
September 23, 2024 15:56 14s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:56 14s
[ base ] Deprecate toList functions for sorted sets and maps Lint the sources #669: Commit 9a176ca pushed by buzden
September 23, 2024 15:52 14s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:52 14s
[ base ] Deprecate toList functions for sorted sets and maps Lint the sources #668: Commit 965d0dc pushed by buzden
September 23, 2024 15:43 11s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:43 11s
[ base ] Deprecate toList functions for sorted sets and maps Lint the sources #667: Commit 620fb3b pushed by buzden
September 23, 2024 15:38 13s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:38 13s
[ base ] Implement Foldable and Traversable for Identity Lint the sources #666: Commit 8d81468 pushed by buzden
August 19, 2024 15:32 12s foldable-identity
foldable-identity
August 19, 2024 15:32 12s
[ base ] Implement Foldable and Traversable for Identity Lint the sources #665: Commit 60966be pushed by buzden
August 19, 2024 15:31 15s foldable-identity
foldable-identity
August 19, 2024 15:31 15s
[ fix ] Normalise fsts and snds and remove duplicates in autosearch Lint the sources #664: Commit f9a5333 pushed by buzden
August 6, 2024 10:55 13s search-in-pairs-only-when-needed
search-in-pairs-only-when-needed
August 6, 2024 10:55 13s
[ quote ] Turn off tcinlining when quoting delays Lint the sources #663: Commit a9d9919 pushed by buzden
July 31, 2024 10:20 12s dont-tcinline-in-quote-delay
dont-tcinline-in-quote-delay
July 31, 2024 10:20 12s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint the sources #662: Commit 584824d pushed by buzden
July 31, 2024 09:50 12s memo-lazy
memo-lazy
July 31, 2024 09:50 12s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint the sources #661: Commit e57febc pushed by buzden
July 24, 2024 15:43 13s memo-lazy
memo-lazy
July 24, 2024 15:43 13s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint the sources #660: Commit e08c3de pushed by buzden
July 3, 2024 08:36 11s memo-lazy
memo-lazy
July 3, 2024 08:36 11s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint the sources #659: Commit d6ef5d0 pushed by buzden
July 2, 2024 09:41 17s memo-lazy
memo-lazy
July 2, 2024 09:41 17s
[ cleanup ] Make makeFuture to be %foreign, not %extern Lint the sources #658: Commit c5265e8 pushed by buzden
July 1, 2024 20:33 15s harmonize-make-and-await-of-futures
harmonize-make-and-await-of-futures
July 1, 2024 20:33 15s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint the sources #657: Commit 14f0037 pushed by buzden
July 1, 2024 20:22 12s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 20:22 12s
[ cleanup ] Make makeFuture to be %foreign, not %extern Lint the sources #656: Commit c94e40a pushed by buzden
July 1, 2024 20:06 16s harmonize-make-and-await-of-futures
harmonize-make-and-await-of-futures
July 1, 2024 20:06 16s
[ experim ] Increase the times for macOS in attempt to reduce flakiness Lint the sources #655: Commit 2d59b29 pushed by buzden
July 1, 2024 17:20 18s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 17:20 18s
[ fix #3339 ] Set the global test locale Lint the sources #654: Commit 43fbb04 pushed by buzden
July 1, 2024 16:49 14s set-test-locale
set-test-locale
July 1, 2024 16:49 14s
[ fix #3339 ] Set the global test locale Lint the sources #653: Commit 32130ac pushed by buzden
July 1, 2024 16:22 15s set-test-locale
set-test-locale
July 1, 2024 16:22 15s
[ experim, revert ] Revert "idris2.ss: support powerpc" Lint the sources #652: Commit 89dfdfb pushed by buzden
July 1, 2024 11:56 13s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 11:56 13s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint the sources #651: Commit 90b4c36 pushed by buzden
July 1, 2024 10:41 15s memo-lazy
memo-lazy
July 1, 2024 10:41 15s
[ elab ] Change quantity of the search function's argument to 0 Lint the sources #650: Commit 5b04ac7 pushed by buzden
June 28, 2024 09:23 12s zeros-in-search
zeros-in-search
June 28, 2024 09:23 12s
[ elab, minor ] Implement Functor for PiInfo Lint the sources #649: Commit 0f6be6c pushed by buzden
June 27, 2024 13:29 15s functor-piinfo
functor-piinfo
June 27, 2024 13:29 15s
[ elab, minor ] Implement Functor for PiInfo Lint the sources #648: Commit 9b12bd4 pushed by buzden
June 27, 2024 13:28 11s functor-piinfo
functor-piinfo
June 27, 2024 13:28 11s