Skip to content

Actions: buzden/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
991 workflow runs
991 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] Implement Foldable and Traversable for Identity Lint Code Base #664: Commit 8d81468 pushed by buzden
August 19, 2024 15:32 1m 46s foldable-identity
foldable-identity
August 19, 2024 15:32 1m 46s
[ 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 Sphinx #566: Commit 8d81468 pushed by buzden
August 19, 2024 15:32 29s foldable-identity
foldable-identity
August 19, 2024 15:32 29s
[ 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
[ base ] Implement Foldable and Traversable for Identity Lint Code Base #663: Commit 60966be pushed by buzden
August 19, 2024 15:31 1m 50s foldable-identity
foldable-identity
August 19, 2024 15:31 1m 50s
[ base ] Implement Foldable and Traversable for Identity Sphinx #565: Commit 60966be pushed by buzden
August 19, 2024 15:31 34s foldable-identity
foldable-identity
August 19, 2024 15:31 34s
[ 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
[ base ] Implement Foldable and Traversable for Identity Bootstrap #33: Commit 60966be pushed by buzden
August 19, 2024 15:31 7m 44s foldable-identity
foldable-identity
August 19, 2024 15:31 7m 44s
[ 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
[ fix ] Normalise fsts and snds and remove duplicates in autosearch Lint Code Base #662: Commit f9a5333 pushed by buzden
August 6, 2024 10:55 1m 48s search-in-pairs-only-when-needed
search-in-pairs-only-when-needed
August 6, 2024 10:55 1m 48s
[ fix ] Normalise fsts and snds and remove duplicates in autosearch Sphinx #564: Commit f9a5333 pushed by buzden
August 6, 2024 10:55 34s search-in-pairs-only-when-needed
search-in-pairs-only-when-needed
August 6, 2024 10:55 34s
[ 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 Code Base #661: Commit a9d9919 pushed by buzden
July 31, 2024 10:20 1m 42s dont-tcinline-in-quote-delay
dont-tcinline-in-quote-delay
July 31, 2024 10:20 1m 42s
[ 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
[ 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
[ quote ] Turn off tcinlining when quoting delays Sphinx #563: Commit a9d9919 pushed by buzden
July 31, 2024 10:20 44s dont-tcinline-in-quote-delay
dont-tcinline-in-quote-delay
July 31, 2024 10:20 44s
[ 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 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 Sphinx #562: Commit 584824d pushed by buzden
July 31, 2024 09:50 29s memo-lazy
memo-lazy
July 31, 2024 09:50 29s
[ lazy ] Make weak memoisation to be controlled by codegen directive Lint Code Base #660: Commit 584824d pushed by buzden
July 31, 2024 09:50 1m 49s memo-lazy
memo-lazy
July 31, 2024 09:50 1m 49s
[ 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 Lint Code Base #659: Commit e57febc pushed by buzden
July 24, 2024 15:43 1m 52s memo-lazy
memo-lazy
July 24, 2024 15:43 1m 52s
[ lazy ] Make weak memoisation to be controlled by codegen directive Sphinx #561: Commit e57febc pushed by buzden
July 24, 2024 15:43 39s memo-lazy
memo-lazy
July 24, 2024 15:43 39s
[ 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