Skip to content

Actions: sybila/biodivine-aeon-server

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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. 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. 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. 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