Skip to content

Actions: eventb-rossi/rossi

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
8 workflow runs
8 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Rossi v0.1.6 release #8: Release v0.1.6 published by evdenis
6m 15s
6m 15s
Rossi v0.1.5 release #7: Release v0.1.5 published by evdenis
6m 26s
6m 26s
Rossi v0.1.4 release #6: Release v0.1.4 published by evdenis
6m 18s
6m 18s
Rossi v0.1.3 release #5: Release v0.1.3 published by evdenis
7m 21s
7m 21s
Rossi v0.1.2 release #4: Release v0.1.2 published by evdenis
4m 48s
4m 48s
rossi-cli-v0.1.1 release #3: Release v0.1.1 published by evdenis
4m 55s
4m 55s
release release #2: Manually run by evdenis
6m 18s main
main
6m 18s
release release #1: Manually run by evdenis
5m 24s main
main
5m 24s