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

[ 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
[ 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
[ elab ] Treat (>>) specially in elaborator scripts Lint Code Base #670: Commit f66ccc8 pushed by buzden
September 27, 2024 13:10 1m 42s seq-in-elab-monad
seq-in-elab-monad
September 27, 2024 13:10 1m 42s
[ elab ] Treat (>>) specially in elaborator scripts Sphinx #572: Commit f66ccc8 pushed by buzden
September 27, 2024 13:10 51s seq-in-elab-monad
seq-in-elab-monad
September 27, 2024 13:10 51s
[ base ] Deprecate toList functions for sorted sets and maps Lint Code Base #669: Commit 3e15034 pushed by buzden
September 23, 2024 16:37 1m 50s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 16:37 1m 50s
[ base ] Deprecate toList functions for sorted sets and maps Sphinx #571: Commit 3e15034 pushed by buzden
September 23, 2024 16:37 30s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 16:37 30s
[ 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 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 Code Base #668: Commit b8b7bb2 pushed by buzden
September 23, 2024 15:56 1m 40s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:56 1m 40s
[ base ] Deprecate toList functions for sorted sets and maps Sphinx #570: Commit b8b7bb2 pushed by buzden
September 23, 2024 15:56 31s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:56 31s
[ 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 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 Sphinx #569: Commit 9a176ca pushed by buzden
September 23, 2024 15:52 32s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:52 32s
[ base ] Deprecate toList functions for sorted sets and maps Lint Code Base #667: Commit 9a176ca pushed by buzden
September 23, 2024 15:52 1m 47s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:52 1m 47s
[ 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 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 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 Lint Code Base #666: Commit 965d0dc pushed by buzden
September 23, 2024 15:43 1m 43s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:43 1m 43s
[ base ] Deprecate toList functions for sorted sets and maps Sphinx #568: Commit 965d0dc pushed by buzden
September 23, 2024 15:43 31s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:43 31s
[ 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 ] Deprecate toList functions for sorted sets and maps Sphinx #567: Commit 620fb3b pushed by buzden
September 23, 2024 15:38 32s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:38 32s
[ 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 ] Deprecate toList functions for sorted sets and maps Lint Code Base #665: Commit 620fb3b pushed by buzden
September 23, 2024 15:38 1m 43s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:38 1m 43s
[ base ] Deprecate toList functions for sorted sets and maps Bootstrap #34: Commit 620fb3b pushed by buzden
September 23, 2024 15:38 7m 40s tokvlist-for-maps
tokvlist-for-maps
September 23, 2024 15:38 7m 40s