Skip to content

Actions: VerifiableRobotics/slugs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
11 workflow runs
11 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Removed old "SATSolver.py" mentioning (not used any more), updated co… Testing compiling slugs #22: Commit 13218b5 pushed by progirep
May 3, 2024 11:12 3m 32s unstable-linuxonly-extensions
unstable-linuxonly-extensions
May 3, 2024 11:12 3m 32s
Github actions build update Testing compiling slugs #21: Commit a0c2893 pushed by progirep
May 3, 2024 10:51 3m 36s unstable-linuxonly-extensions
unstable-linuxonly-extensions
May 3, 2024 10:51 3m 36s
Option in the invariant computation for starting from a bigger state … Testing compiling slugs #20: Commit 96d9dd4 pushed by progirep
May 1, 2024 20:13 4m 10s unstable-linuxonly-extensions
unstable-linuxonly-extensions
May 1, 2024 20:13 4m 10s
Updated invariant computation plugin Testing compiling slugs #19: Commit ab770fa pushed by progirep
April 4, 2024 12:25 3m 35s unstable-linuxonly-extensions
unstable-linuxonly-extensions
April 4, 2024 12:25 3m 35s
Merge branch 'unstable' into unstable-linuxonly-extensions Testing compiling slugs #18: Commit a935741 pushed by progirep
February 27, 2024 21:37 2m 52s unstable-linuxonly-extensions
unstable-linuxonly-extensions
February 27, 2024 21:37 2m 52s
Cast to remove warning Testing compiling slugs #17: Commit fa238ef pushed by progirep
February 27, 2024 21:34 2m 57s unstable
unstable
February 27, 2024 21:34 2m 57s
Merge remote-tracking branch 'origin/master' into unstable Testing compiling slugs #16: Commit b19ba0c pushed by progirep
February 27, 2024 21:31 5m 14s unstable
unstable
February 27, 2024 21:31 5m 14s
Linux-only branch first proper commit -- for plugins that use subproc… Testing compiling slugs #15: Commit c2ed655 pushed by progirep
February 27, 2024 21:26 2m 34s unstable-linuxonly-extensions
unstable-linuxonly-extensions
February 27, 2024 21:26 2m 34s
Merge remote-tracking branch 'origin/master' into unstable Testing compiling slugs #7: Commit b19ba0c pushed by progirep
February 26, 2024 22:50 2m 52s unstable
unstable
February 26, 2024 22:50 2m 52s
Merge pull request #25 from slivingston/patch-1 Testing compiling slugs #6: Commit a188d83 pushed by progirep
December 29, 2023 22:41 4m 3s master
master
December 29, 2023 22:41 4m 3s
Added "explicitStrategyToGraphviz.py" script Testing compiling slugs #5: Commit 2bff87a pushed by progirep
November 8, 2023 22:13 3m 13s master
master
November 8, 2023 22:13 3m 13s