Skip to content

Actions: sybila/biodivine-aeon-server

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use control library without Z3. release #4: Commit fc2c904 pushed by daemontus
November 19, 2024 14:09 5m 16s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 14:09 5m 16s
Use control library without Z3. release #3: Commit 5702fcc pushed by daemontus
November 19, 2024 14:04 5m 15s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 14:04 5m 15s
Update dependencies and add a new release workflow. release #2: Commit 01df3b9 pushed by daemontus
November 19, 2024 13:16 3m 43s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 13:16 3m 43s
Update dependencies and add a new release workflow. release #1: Commit aa75934 pushed by daemontus
November 19, 2024 12:58 45s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 12:58 45s