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 ] Apply suggestions from gallais Sphinx #219: Commit 67f5210 pushed by CodingCellist
January 5, 2024 12:40 32s let-doc-refactor
let-doc-refactor
January 5, 2024 12:40 32s
merge w/ upstream main Bootstrap #14: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 7m 13s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 7m 13s
merge w/ upstream main Idris2 and External Libs #31: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 49m 57s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 49m 57s
merge w/ upstream main Sphinx #218: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 31s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 31s
merge w/ upstream main Lint the sources #271: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 12s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 12s
merge w/ upstream main Lint Code Base #271: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 2m 6s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 2m 6s
[ admin ] Update checklist for v0.7.0-rc2 Sphinx #217: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 48s main
main
December 22, 2023 14:57 48s
[ admin ] Update checklist for v0.7.0-rc2 Bootstrap #13: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 7m 35s main
main
December 22, 2023 14:57 7m 35s
[ admin ] Update checklist for v0.7.0-rc2 Lint the sources #270: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 17s main
main
December 22, 2023 14:57 17s
[ admin ] Update checklist for v0.7.0-rc2 Idris2 and External Libs #30: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 1h 3m 2s main
main
December 22, 2023 14:57 1h 3m 2s
[ admin ] Update checklist for v0.7.0-rc2 Lint Code Base #270: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 1m 53s main
main
December 22, 2023 14:57 1m 53s
[ admin ] Update checklist for v0.7.0-rc2 Lint Code Base #269: Commit 92c5662 pushed by CodingCellist
December 22, 2023 13:44 1m 53s post-0.6.0
post-0.6.0
December 22, 2023 13:44 1m 53s
[ admin ] Update checklist for v0.7.0-rc2 Sphinx #216: Commit 92c5662 pushed by CodingCellist
December 22, 2023 13:44 28s post-0.6.0
post-0.6.0
December 22, 2023 13:44 28s
[ admin ] Update checklist for v0.7.0-rc2 Lint the sources #269: Commit 92c5662 pushed by CodingCellist
December 22, 2023 13:44 12s post-0.6.0
post-0.6.0
December 22, 2023 13:44 12s
[ rc ] 0.7.0-rc2 Bootstrap #12: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 7m 46s v0.7.0
v0.7.0
December 22, 2023 12:23 7m 46s
[ rc ] 0.7.0-rc2 Lint Code Base #268: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 1m 52s v0.7.0
v0.7.0
December 22, 2023 12:23 1m 52s
[ rc ] 0.7.0-rc2 Lint the sources #268: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 16s v0.7.0
v0.7.0
December 22, 2023 12:23 16s
[ rc ] 0.7.0-rc2 Idris2 and External Libs #29: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 57m 24s v0.7.0
v0.7.0
December 22, 2023 12:23 57m 24s
[ rc ] 0.7.0-rc2 Sphinx #215: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 42s v0.7.0
v0.7.0
December 22, 2023 12:23 42s
[ rc ] 0.7.0-rc2 Sphinx #214: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 42s post-0.6.0
post-0.6.0
December 22, 2023 12:23 42s
[ rc ] 0.7.0-rc2 Lint the sources #267: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 16s post-0.6.0
post-0.6.0
December 22, 2023 12:23 16s
[ rc ] 0.7.0-rc2 Idris2 and External Libs #28: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 53m 0s post-0.6.0
post-0.6.0
December 22, 2023 12:23 53m 0s
[ rc ] 0.7.0-rc2 Bootstrap #11: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 7m 36s post-0.6.0
post-0.6.0
December 22, 2023 12:23 7m 36s
[ rc ] 0.7.0-rc2 Lint Code Base #267: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 1m 52s post-0.6.0
post-0.6.0
December 22, 2023 12:23 1m 52s
[ rc ] 0.7.0-rc1 Lint Code Base #266: Commit a99d177 pushed by CodingCellist
December 21, 2023 15:24 1m 52s post-0.6.0
post-0.6.0
December 21, 2023 15:24 1m 52s