Skip to content

Actions: sybila/biodivine-aeon-py

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
400 workflow runs
400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update version.
build #283: Commit 16ab456 pushed by daemontus
October 26, 2024 11:31 23m 22s v1.1.2
October 26, 2024 11:31 23m 22s
Update version.
pdoc #75: Commit 16ab456 pushed by daemontus
October 26, 2024 11:31 1m 42s main
October 26, 2024 11:31 1m 42s
Update version.
test #125: Commit 16ab456 pushed by daemontus
October 26, 2024 11:31 21m 24s main
October 26, 2024 11:31 21m 24s
Fix mypy issues and include example scripts in static analysis.
build #282: Commit 74b80af pushed by daemontus
October 26, 2024 11:29 21s v1.1.2
October 26, 2024 11:29 21s
Fix mypy issues and include example scripts in static analysis.
test #124: Commit 74b80af pushed by daemontus
October 26, 2024 11:13 8m 42s main
October 26, 2024 11:13 8m 42s
Fix mypy issues and include example scripts in static analysis.
pdoc #74: Commit 74b80af pushed by daemontus
October 26, 2024 11:13 1m 34s main
October 26, 2024 11:13 1m 34s
October 26, 2024 11:01 1m 42s
October 26, 2024 11:01 8m 15s
October 26, 2024 06:17 1m 47s
October 26, 2024 06:17 9m 49s
October 26, 2024 06:15 8m 41s
October 26, 2024 06:15 1m 52s
Update version.
build #281: Commit 6ef8047 pushed by daemontus
October 22, 2024 06:50 23m 43s v1.1.1
October 22, 2024 06:50 23m 43s
Update version.
pdoc #70: Commit 6ef8047 pushed by daemontus
October 22, 2024 06:48 1m 42s main
October 22, 2024 06:48 1m 42s
Update version.
test #120: Commit 6ef8047 pushed by daemontus
October 22, 2024 06:48 23m 31s main
October 22, 2024 06:48 23m 31s
Fix a bug in ADF encoding.
test #119: Commit df29766 pushed by daemontus
October 21, 2024 19:51 8m 24s main
October 21, 2024 19:51 8m 24s
Fix a bug in ADF encoding.
pdoc #69: Commit df29766 pushed by daemontus
October 21, 2024 19:51 1m 34s main
October 21, 2024 19:51 1m 34s
Add scripts for computing fixed points and minimal trap spaces.
test #118: Commit 40b1482 pushed by daemontus
October 21, 2024 13:12 8m 30s main
October 21, 2024 13:12 8m 30s
Add scripts for computing fixed points and minimal trap spaces.
pdoc #68: Commit 40b1482 pushed by daemontus
October 21, 2024 13:12 1m 39s main
October 21, 2024 13:12 1m 39s
Add scripts for computing fixed points and minimal trap spaces.
test #117: Commit b58ae0f pushed by daemontus
October 21, 2024 13:11 9m 11s main
October 21, 2024 13:11 9m 11s
Add scripts for computing fixed points and minimal trap spaces.
pdoc #67: Commit b58ae0f pushed by daemontus
October 21, 2024 13:11 1m 39s main
October 21, 2024 13:11 1m 39s
Conversion script for ADF -> aeon models.
pdoc #66: Commit cf28e5d pushed by daemontus
October 18, 2024 08:39 1m 43s main
October 18, 2024 08:39 1m 43s
Conversion script for ADF -> aeon models.
test #116: Commit cf28e5d pushed by daemontus
October 18, 2024 08:39 8m 33s main
October 18, 2024 08:39 8m 33s
October 17, 2024 15:48 1m 34s
October 17, 2024 15:48 8m 21s