Skip to content

Actions: idris-lang/Idris2

Actions

Bootstrap

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-bootstrap.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: help menu for refine command Bootstrap #158: Pull request #3393 synchronize by Jyang772
September 27, 2024 22:13 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 22:13 Action required
fix: help menu for refine command Bootstrap #157: Pull request #3393 synchronize by Jyang772
September 27, 2024 21:47 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 21:47 Action required
fix: help menu for refine command Bootstrap #156: Pull request #3393 opened by Jyang772
September 27, 2024 21:20 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 21:20 Action required
idris2.ss: support powerpc (#3326) Bootstrap #155: Commit a38f1ac pushed by mattpolzin
June 24, 2024 16:49 7m 33s main
main
June 24, 2024 16:49 7m 33s
idris2.ss: support powerpc Bootstrap #154: Pull request #3326 synchronize by barracuda156
June 24, 2024 13:24 7m 29s barracuda156:ppc
barracuda156:ppc
June 24, 2024 13:24 7m 29s
idris2.ss: support powerpc Bootstrap #152: Pull request #3326 synchronize by barracuda156
June 21, 2024 19:57 7m 45s barracuda156:ppc
barracuda156:ppc
June 21, 2024 19:57 7m 45s
Merge pull request #3208 from buzden/bump-deprecated-actions Bootstrap #147: Commit 45af722 pushed by andrevidela
February 1, 2024 11:14 7m 56s main
main
February 1, 2024 11:14 7m 56s
[ ci ] Bump deprecated versions of used CI actions to avoid warnings Bootstrap #146: Pull request #3208 opened by buzden
January 31, 2024 14:20 7m 36s buzden:bump-deprecated-actions
buzden:bump-deprecated-actions
January 31, 2024 14:20 7m 36s
[ admin ] Update checklist for v0.7.0-rc2 Bootstrap #145: Commit 2778007 pushed by CodingCellist
December 22, 2023 13:53 7m 30s v0.7.0
v0.7.0
December 22, 2023 13:53 7m 30s
[ admin ] Update checklist for v0.7.0-rc2 Bootstrap #144: Commit 2778007 pushed by CodingCellist
December 22, 2023 13:44 7m 44s main
main
December 22, 2023 13:44 7m 44s
[ rc ] Idris2 v0.7.0 Bootstrap #143: Pull request #3155 synchronize by CodingCellist
December 22, 2023 13:44 7m 30s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
December 22, 2023 13:44 7m 30s
[ rc ] Idris2 v0.7.0 Bootstrap #142: Pull request #3155 synchronize by CodingCellist
December 22, 2023 12:23 7m 40s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
December 22, 2023 12:23 7m 40s
[ rc ] Idris2 v0.7.0 Bootstrap #141: Pull request #3155 synchronize by CodingCellist
December 21, 2023 15:24 7m 35s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
December 21, 2023 15:24 7m 35s
[ rc ] Idris2 v0.7.0 Bootstrap #140: Pull request #3155 synchronize by CodingCellist
December 21, 2023 10:51 7m 20s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
December 21, 2023 10:51 7m 20s
[ rc ] Idris2 v0.7.0 Bootstrap #139: Pull request #3155 synchronize by mattpolzin
December 12, 2023 15:02 7m 22s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
December 12, 2023 15:02 7m 22s
[ rc ] Idris2 v0.7.0 Bootstrap #138: Pull request #3155 synchronize by CodingCellist
November 30, 2023 14:06 7m 25s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
November 30, 2023 14:06 7m 25s
[ rc ] Idris2 v0.7.0 Bootstrap #137: Pull request #3155 opened by CodingCellist
November 30, 2023 13:07 8m 23s CodingCellist:post-0.6.0
CodingCellist:post-0.6.0
November 30, 2023 13:07 8m 23s