Skip to content

Actions: CodingCellist/Idris2

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] Use 'latest' syntax to fix things Lint Code Base #227: Commit d39a52b pushed by CodingCellist
August 31, 2023 10:21 3m 26s ci-pack-lsp
ci-pack-lsp
August 31, 2023 10:21 3m 26s
[ ci ] Restore the REF to the commit pack param Lint Code Base #226: Commit ddf9d1f pushed by CodingCellist
August 30, 2023 14:30 3m 3s ci-pack-lsp
ci-pack-lsp
August 30, 2023 14:30 3m 3s
[ ci ] Mark CWD as safe for git-fetch reasons Lint Code Base #225: Commit af4bd1b pushed by CodingCellist
August 30, 2023 13:20 2m 42s ci-pack-lsp
ci-pack-lsp
August 30, 2023 13:20 2m 42s
[ ci ] Fetch the PR before attempting pack install Lint Code Base #224: Commit 6909bec pushed by CodingCellist
August 30, 2023 12:32 2m 47s ci-pack-lsp
ci-pack-lsp
August 30, 2023 12:32 2m 47s
[ ci ] Add GH_REF_NAME to pack idris2.commit Lint Code Base #223: Commit cd6226c pushed by CodingCellist
August 30, 2023 11:44 2m 49s ci-pack-lsp
ci-pack-lsp
August 30, 2023 11:44 2m 49s
[ ci ] Fix pack URL? RM lsp test for now Lint Code Base #222: Commit 814ecb4 pushed by CodingCellist
August 30, 2023 08:32 2m 50s ci-pack-lsp
ci-pack-lsp
August 30, 2023 08:32 2m 50s
[ ci ] Build pack and the LSP as part of ext-libs Lint Code Base #221: Commit 4c27d3c pushed by CodingCellist
August 29, 2023 14:35 3m 5s ci-pack-lsp
ci-pack-lsp
August 29, 2023 14:35 3m 5s
[ ci ] All extern libs depend on self-host Lint Code Base #220: Commit 63ab414 pushed by CodingCellist
August 28, 2023 14:22 1m 36s ci-pack-lsp
ci-pack-lsp
August 28, 2023 14:22 1m 36s
[ ci ] rm the ci-idris2 dependency from extern-libs Lint Code Base #219: Commit 8ec3d40 pushed by CodingCellist
August 28, 2023 14:20 21s ci-pack-lsp
ci-pack-lsp
August 28, 2023 14:20 21s
[ ci ] Copy setup-jobs from ci-idris2 to extern-libs Lint Code Base #218: Commit cde9fe5 pushed by CodingCellist
August 28, 2023 14:17 2m 50s ci-pack-lsp
ci-pack-lsp
August 28, 2023 14:17 2m 50s
[ 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 ] 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
[ 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