Skip to content

Actions: mmhelloworld/idris-jvm

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

release release #47: Manually run by mmhelloworld
August 12, 2024 21:46 30m 19s main
main
August 12, 2024 21:46 30m 19s
release release #46: Manually run by mmhelloworld
July 15, 2024 03:42 34m 29s main
main
July 15, 2024 03:42 34m 29s
release release #45: Manually run by mmhelloworld
March 21, 2024 03:19 26m 32s main
main
March 21, 2024 03:19 26m 32s
release release #44: Manually run by mmhelloworld
March 20, 2024 21:40 28m 2s main
main
March 20, 2024 21:40 28m 2s
release release #43: Manually run by mmhelloworld
March 20, 2024 03:41 26m 53s main
main
March 20, 2024 03:41 26m 53s
release release #42: Manually run by mmhelloworld
March 20, 2024 02:57 27m 30s main
main
March 20, 2024 02:57 27m 30s
release release #41: Manually run by mmhelloworld
March 14, 2024 12:50 28m 26s main
main
March 14, 2024 12:50 28m 26s
release release #40: Manually run by mmhelloworld
February 11, 2024 23:41 28m 6s main
main
February 11, 2024 23:41 28m 6s
release release #39: Manually run by mmhelloworld
February 9, 2024 02:17 39m 58s main
main
February 9, 2024 02:17 39m 58s