Skip to content

Actions: buzden/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Treat (>>) specially in elaborator scripts Idris2 and External Libs #201: Commit f66ccc8 pushed by buzden
September 27, 2024 13:10 11m 48s seq-in-elab-monad
seq-in-elab-monad
September 27, 2024 13:10 11m 48s
[ base ] Deprecate toList functions for sorted sets and maps Idris2 and External Libs #200: Commit 3e15034 pushed by buzden
September 23, 2024 16:37 40m 42s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 16:37 40m 42s
[ base ] Deprecate toList functions for sorted sets and maps Idris2 and External Libs #199: Commit b8b7bb2 pushed by buzden
September 23, 2024 15:56 39m 37s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:56 39m 37s
[ base ] Deprecate toList functions for sorted sets and maps Idris2 and External Libs #198: Commit 9a176ca pushed by buzden
September 23, 2024 15:52 4m 35s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:52 4m 35s
[ base ] Deprecate toList functions for sorted sets and maps Idris2 and External Libs #197: Commit 965d0dc pushed by buzden
September 23, 2024 15:43 8m 51s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:43 8m 51s
[ base ] Deprecate toList functions for sorted sets and maps Idris2 and External Libs #196: Commit 620fb3b pushed by buzden
September 23, 2024 15:38 5m 42s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:38 5m 42s
[ base ] Implement Foldable and Traversable for Identity Idris2 and External Libs #195: Commit 8d81468 pushed by buzden
August 19, 2024 15:32 48m 51s foldable-identity
foldable-identity
August 19, 2024 15:32 48m 51s
[ base ] Implement Foldable and Traversable for Identity Idris2 and External Libs #194: Commit 60966be pushed by buzden
August 19, 2024 15:31 1m 43s foldable-identity
foldable-identity
August 19, 2024 15:31 1m 43s
[ fix ] Normalise fsts and snds and remove duplicates in autosearch Idris2 and External Libs #193: Commit f9a5333 pushed by buzden
August 6, 2024 10:55 48m 17s search-in-pairs-only-when-needed
search-in-pairs-only-when-needed
August 6, 2024 10:55 48m 17s
[ quote ] Turn off tcinlining when quoting delays Idris2 and External Libs #192: Commit a9d9919 pushed by buzden
July 31, 2024 10:20 11m 55s dont-tcinline-in-quote-delay
dont-tcinline-in-quote-delay
July 31, 2024 10:20 11m 55s
[ lazy ] Make weak memoisation to be controlled by codegen directive Idris2 and External Libs #191: Commit 584824d pushed by buzden
July 31, 2024 09:50 40m 47s memo-lazy
memo-lazy
July 31, 2024 09:50 40m 47s
[ lazy ] Make weak memoisation to be controlled by codegen directive Idris2 and External Libs #190: Commit e57febc pushed by buzden
July 24, 2024 15:43 47m 55s memo-lazy
memo-lazy
July 24, 2024 15:43 47m 55s
[ lazy ] Make weak memoisation to be controlled by codegen directive Idris2 and External Libs #189: Commit e08c3de pushed by buzden
July 3, 2024 08:36 43m 16s memo-lazy
memo-lazy
July 3, 2024 08:36 43m 16s
[ lazy ] Make weak memoisation to be controlled by codegen directive Idris2 and External Libs #188: Commit d6ef5d0 pushed by buzden
July 2, 2024 09:41 40m 15s memo-lazy
memo-lazy
July 2, 2024 09:41 40m 15s
[ cleanup ] Make makeFuture to be %foreign, not %extern Idris2 and External Libs #187: Commit c5265e8 pushed by buzden
July 1, 2024 20:33 42m 45s harmonize-make-and-await-of-futures
harmonize-make-and-await-of-futures
July 1, 2024 20:33 42m 45s
[ lazy ] Make weak memoisation to be controlled by codegen directive Idris2 and External Libs #186: Commit 14f0037 pushed by buzden
July 1, 2024 20:22 14m 37s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 20:22 14m 37s
[ cleanup ] Make makeFuture to be %foreign, not %extern Idris2 and External Libs #185: Commit c94e40a pushed by buzden
July 1, 2024 20:06 27m 18s harmonize-make-and-await-of-futures
harmonize-make-and-await-of-futures
July 1, 2024 20:06 27m 18s
[ experim ] Increase the times for macOS in attempt to reduce flakiness Idris2 and External Libs #184: Commit 2d59b29 pushed by buzden
July 1, 2024 17:20 44m 2s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 17:20 44m 2s
[ fix #3339 ] Set the global test locale Idris2 and External Libs #183: Commit 43fbb04 pushed by buzden
July 1, 2024 16:49 41m 3s set-test-locale
set-test-locale
July 1, 2024 16:49 41m 3s
[ fix #3339 ] Set the global test locale Idris2 and External Libs #182: Commit 32130ac pushed by buzden
July 1, 2024 16:22 26m 41s set-test-locale
set-test-locale
July 1, 2024 16:22 26m 41s
[ experim, revert ] Revert "idris2.ss: support powerpc" Idris2 and External Libs #181: Commit 89dfdfb pushed by buzden
July 1, 2024 11:56 16m 39s memo-lazy-experiment
memo-lazy-experiment
July 1, 2024 11:56 16m 39s
[ lazy ] Make weak memoisation to be controlled by codegen directive Idris2 and External Libs #180: Commit 90b4c36 pushed by buzden
July 1, 2024 10:41 16m 26s memo-lazy
memo-lazy
July 1, 2024 10:41 16m 26s
[ elab ] Change quantity of the search function's argument to 0 Idris2 and External Libs #179: Commit 5b04ac7 pushed by buzden
June 28, 2024 09:23 49m 38s zeros-in-search
zeros-in-search
June 28, 2024 09:23 49m 38s
[ elab, minor ] Implement Functor for PiInfo Idris2 and External Libs #178: Commit 0f6be6c pushed by buzden
June 27, 2024 13:29 48m 48s functor-piinfo
functor-piinfo
June 27, 2024 13:29 48m 48s
[ elab, minor ] Implement Functor for PiInfo Idris2 and External Libs #177: Commit 9b12bd4 pushed by buzden
June 27, 2024 13:28 1m 22s functor-piinfo
functor-piinfo
June 27, 2024 13:28 1m 22s