Skip to content

Actions: idris-lang/Idris2

Actions

Bootstrap

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ v0.8.0-rc2 ] Fix prefix in Racket bootstrap code Bootstrap #162: Commit 15a3e4e pushed by CodingCellist
1d 0h 0m 31s v0.8.0
v0.8.0
1d 0h 0m 31s
[ v0.8.0-rc2 ] Fix prefix in Racket bootstrap code Bootstrap #161: Commit 15a3e4e pushed by CodingCellist
1d 0h 0m 1s main
main
1d 0h 0m 1s
[ release ] Prepare v0.8.0 Bootstrap #160: Pull request #3656 synchronize by CodingCellist
1d 0h 0m 2s CodingCellist:release-0.8.0
CodingCellist:release-0.8.0
1d 0h 0m 2s
[ release ] Prepare v0.8.0 Bootstrap #159: Pull request #3656 opened by CodingCellist
1d 0h 0m 2s CodingCellist:release-0.8.0
CodingCellist:release-0.8.0
1d 0h 0m 2s