Skip to content

Actions: sybila/biodivine-aeon-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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. build #103: Commit fc2c904 pushed by daemontus
November 19, 2024 14:09 2m 41s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 14:09 2m 41s
Use control library without Z3. build #102: Commit fc2c904 pushed by daemontus
November 19, 2024 14:08 2m 36s master
master
November 19, 2024 14:08 2m 36s
Use control library without Z3. build #101: Commit 5702fcc pushed by daemontus
November 19, 2024 14:04 2m 40s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 14:04 2m 40s
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
Use control library without Z3. build #100: Commit 5702fcc pushed by daemontus
November 19, 2024 14:04 2m 43s master
master
November 19, 2024 14:04 2m 43s
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. build #99: Commit 01df3b9 pushed by daemontus
November 19, 2024 13:16 3m 0s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 13:16 3m 0s
Update dependencies and add a new release workflow. build #98: Commit 01df3b9 pushed by daemontus
November 19, 2024 13:15 2m 44s master
master
November 19, 2024 13:15 2m 44s
Update dependencies and add a new release workflow. build #97: Commit aa75934 pushed by daemontus
November 19, 2024 12:58 2m 47s v0.5.0-snapshot1
v0.5.0-snapshot1
November 19, 2024 12:58 2m 47s
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
Update dependencies and add a new release workflow. build #96: Commit aa75934 pushed by daemontus
November 19, 2024 12:57 3m 2s master
master
November 19, 2024 12:57 3m 2s
Send correct color count. build #95: Commit e4926cb pushed by daemontus
October 31, 2024 15:15 2m 45s master
master
October 31, 2024 15:15 2m 45s
Fix clippy warnings. build #94: Commit e910d7b pushed by daemontus
October 22, 2024 08:26 2m 43s master
master
October 22, 2024 08:26 2m 43s
Fix elapsed time computation. build #93: Commit 0588ce1 pushed by daemontus
October 22, 2024 07:07 2m 46s master
master
October 22, 2024 07:07 2m 46s
Update control library with bugfix. build #92: Commit 9db6a1b pushed by daemontus
October 19, 2024 20:52 2m 42s master
master
October 19, 2024 20:52 2m 42s
Compute the admissible perturbations correctly. build #91: Commit af66629 pushed by daemontus
October 19, 2024 20:33 2m 41s master
master
October 19, 2024 20:33 2m 41s
Rename data key. build #90: Commit e445f3d pushed by daemontus
October 8, 2024 14:14 2m 40s master
master
October 8, 2024 14:14 2m 40s
Add initial implementation of ControlComputation. build #89: Commit 3b2f0eb pushed by daemontus
September 7, 2024 20:28 2m 36s master
master
September 7, 2024 20:28 2m 36s
Update CI script. build #88: Commit aa3d6f8 pushed by daemontus
September 7, 2024 19:24 2m 11s master
master
September 7, 2024 19:24 2m 11s
Update CI script. build #87: Commit 50b7400 pushed by daemontus
September 7, 2024 19:23 2m 14s master
master
September 7, 2024 19:23 2m 14s