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

[ ci ] Run extern-libs after Idris2 Lint Code Base #217: Commit f9873b7 pushed by CodingCellist
August 28, 2023 13:29 2m 48s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:29 2m 48s
[ ci ] Run extern-libs after Idris2 Idris2 #149: Commit f9873b7 pushed by CodingCellist
August 28, 2023 13:29 48m 11s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:29 48m 11s
[ ci ] Run extern-libs after Idris2 Lint the sources #217: Commit f9873b7 pushed by CodingCellist
August 28, 2023 13:29 16s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:29 16s
[ ci ] Move external libs outside of Idris2 job Lint Code Base #216: Commit 9515c12 pushed by CodingCellist
August 28, 2023 13:20 3m 51s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:20 3m 51s
[ ci ] Move external libs outside of Idris2 job Sphinx #163: Commit 9515c12 pushed by CodingCellist
August 28, 2023 13:20 40s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:20 40s
[ ci ] Move external libs outside of Idris2 job Lint the sources #216: Commit 9515c12 pushed by CodingCellist
August 28, 2023 13:20 16s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:20 16s
[ ci ] Move external libs outside of Idris2 job Idris2 #148: Commit 9515c12 pushed by CodingCellist
August 28, 2023 13:20 15s ci-pack-lsp
ci-pack-lsp
August 28, 2023 13:20 15s
[ docs ] Fix the formatting warning in the docs Lint Code Base #215: Commit b7bda5e pushed by CodingCellist
August 2, 2023 07:00 2m 37s main
main
August 2, 2023 07:00 2m 37s
[ docs ] Fix the formatting warning in the docs Lint the sources #215: Commit b7bda5e pushed by CodingCellist
August 2, 2023 07:00 14s main
main
August 2, 2023 07:00 14s
[ docs ] Fix the formatting warning in the docs Idris2 #147: Commit b7bda5e pushed by CodingCellist
August 2, 2023 07:00 1h 18m 21s main
main
August 2, 2023 07:00 1h 18m 21s
[ docs ] Fix the formatting warning in the docs Sphinx #162: Commit b7bda5e pushed by CodingCellist
August 2, 2023 07:00 36s main
main
August 2, 2023 07:00 36s
ProTip! You can narrow down the results and go further in time using created:<2023-08-02 or the other filters available.