Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
261 workflow runs
261 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ doc ] Document failing blocs online Lint the sources #240: Commit 090d794 pushed by CodingCellist
October 23, 2023 10:03 15s doc-failing-blocks
doc-failing-blocks
October 23, 2023 10:03 15s
[ doc ] Document failing blocs online Lint Code Base #240: Commit 090d794 pushed by CodingCellist
October 23, 2023 10:03 2m 14s doc-failing-blocks
doc-failing-blocks
October 23, 2023 10:03 2m 14s
[ elab ] Implement Ord for Count Lint Code Base #239: Commit 1256ded pushed by CodingCellist
October 6, 2023 13:25 2m 29s main
main
October 6, 2023 13:25 2m 29s
[ elab ] Implement Ord for Count Lint the sources #239: Commit 1256ded pushed by CodingCellist
October 6, 2023 13:25 13s main
main
October 6, 2023 13:25 13s
[ elab ] Implement Ord for Count Idris2 and External Libs #8: Commit 1256ded pushed by CodingCellist
October 6, 2023 13:25 1h 15m 47s main
main
October 6, 2023 13:25 1h 15m 47s
[ elab ] Implement Ord for Count Sphinx #186: Commit 1256ded pushed by CodingCellist
October 6, 2023 13:25 42s main
main
October 6, 2023 13:25 42s
[ elab ] Print script's FC in the bad elaboration script error Sphinx #185: Commit a643e3a pushed by CodingCellist
September 22, 2023 12:48 41s main
main
September 22, 2023 12:48 41s
[ elab ] Print script's FC in the bad elaboration script error Lint the sources #238: Commit a643e3a pushed by CodingCellist
September 22, 2023 12:48 13s main
main
September 22, 2023 12:48 13s
[ elab ] Print script's FC in the bad elaboration script error Lint Code Base #238: Commit a643e3a pushed by CodingCellist
September 22, 2023 12:48 2m 17s main
main
September 22, 2023 12:48 2m 17s
[ elab ] Print script's FC in the bad elaboration script error Idris2 and External Libs #7: Commit a643e3a pushed by CodingCellist
September 22, 2023 12:48 1h 12m 23s main
main
September 22, 2023 12:48 1h 12m 23s
Merge branch 'idris-lang:main' into main Sphinx #184: Commit 1979371 pushed by CodingCellist
September 15, 2023 11:22 32s main
main
September 15, 2023 11:22 32s
Merge branch 'idris-lang:main' into main Lint the sources #237: Commit 1979371 pushed by CodingCellist
September 15, 2023 11:22 16s main
main
September 15, 2023 11:22 16s
Merge branch 'idris-lang:main' into main Lint Code Base #237: Commit 1979371 pushed by CodingCellist
September 15, 2023 11:22 2m 18s main
main
September 15, 2023 11:22 2m 18s
[ ci ] re 3067: fix CI on main branch Sphinx #183: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:47 38s main
main
September 15, 2023 08:47 38s
[ ci ] re 3067: fix CI on main branch Lint the sources #236: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:47 17s main
main
September 15, 2023 08:47 17s
[ ci ] re 3067: fix CI on main branch Lint Code Base #236: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:47 2m 18s main
main
September 15, 2023 08:47 2m 18s
[ ci ] re 3067: fix CI on main branch Idris2 and External Libs #6: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:47 1h 21m 6s main
main
September 15, 2023 08:47 1h 21m 6s
[ ci ] re 3067: fix CI on main branch Sphinx #182: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:39 35s fix-main-ci-3067
fix-main-ci-3067
September 15, 2023 08:39 35s
[ ci ] re 3067: fix CI on main branch Lint Code Base #235: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:39 2m 31s fix-main-ci-3067
fix-main-ci-3067
September 15, 2023 08:39 2m 31s
[ ci ] re 3067: fix CI on main branch Idris2 and External Libs #5: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:39 20m 49s fix-main-ci-3067
fix-main-ci-3067
September 15, 2023 08:39 20m 49s
[ ci ] re 3067: fix CI on main branch Lint the sources #235: Commit 43a5479 pushed by CodingCellist
September 15, 2023 08:39 16s fix-main-ci-3067
fix-main-ci-3067
September 15, 2023 08:39 16s
[ ci ] Group pack toml file-writing commands Sphinx #181: Commit 2a96c36 pushed by CodingCellist
September 11, 2023 17:19 47s ci-pack-lsp
ci-pack-lsp
September 11, 2023 17:19 47s
[ ci ] Group pack toml file-writing commands Lint the sources #234: Commit 2a96c36 pushed by CodingCellist
September 11, 2023 17:19 20s ci-pack-lsp
ci-pack-lsp
September 11, 2023 17:19 20s
[ ci ] Group pack toml file-writing commands Idris2 and External Libs #4: Commit 2a96c36 pushed by CodingCellist
September 11, 2023 17:19 1h 13m 31s ci-pack-lsp
ci-pack-lsp
September 11, 2023 17:19 1h 13m 31s
[ ci ] Group pack toml file-writing commands Lint Code Base #234: Commit 2a96c36 pushed by CodingCellist
September 11, 2023 17:19 2m 41s ci-pack-lsp
ci-pack-lsp
September 11, 2023 17:19 2m 41s