Skip to content

Actions: UoY-RoboStar/SLEEC-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v1.0.0 Docker #35: Release v1.0.0 published by pefribeiro
6m 41s
6m 41s
Added note about tutorial-assertion-trace5.csp. Docker #34: Commit d702033 pushed by pefribeiro
2m 22s main
main
2m 22s
Fix pull of tutorial for layer. Docker #33: Commit 4cb88e4 pushed by pefribeiro
1m 22s main
main
1m 22s
Trigger fail. Docker #32: Commit 1b5c1f3 pushed by pefribeiro
1m 23s main
main
1m 23s
v0.0.6 Docker #31: Release v0.0.6 published by pefribeiro
7m 41s
7m 41s
Merge branch 'main' of github.com:pefribeiro/SLEEC-tutorial Docker #30: Commit 846606b pushed by pefribeiro
33s main
main
33s
Update README.md Docker #29: Commit afac325 pushed by Marssol
32s main
main
32s
Add files via upload Docker #28: Commit 6fb5bf0 pushed by Marssol
38s main
main
38s
Update README.md Docker #27: Commit 3d2c494 pushed by Marssol
27s main
main
27s
Update README.md Docker #26: Commit 21817dc pushed by Marssol
20s main
main
20s
Add files via upload Docker #25: Commit a27631b pushed by Marssol
27s main
main
27s
Update README.md Docker #24: Commit b7885b8 pushed by Marssol
52s main
main
52s
Added Zenodo Concept DOI for further releases. Docker #23: Commit 1fe0fdf pushed by pefribeiro
28s main
main
28s
v0.0.5 Docker #22: Release v0.0.5 published by pefribeiro
6m 39s
6m 39s
Fixed license in zenodo json. Docker #21: Commit c949163 pushed by pefribeiro
34s main
main
34s
v0.0.4 Docker #20: Release v0.0.4 published by pefribeiro
6m 1s
6m 1s
Docker Docker #19: published by pefribeiro
19s
19s
One last fix? Docker #18: Commit ef00f8f pushed by pefribeiro
28s main
main
28s
Docker Docker #17: published by pefribeiro
22s
22s
v0.0.2 Docker #16: Release v0.0.2 published by pefribeiro
4m 55s
4m 55s
Fix zenodo upload and swap gzip with pigz. Docker #15: Commit 670b951 pushed by pefribeiro
30s main
main
30s
Initial release Docker #14: Release v0.0.1 published by pefribeiro
7m 9s
7m 9s
Change to zip and print checksum. Docker #13: Commit 2d4a30a pushed by pefribeiro
20s main
main
20s
bump GA build. Docker #12: Commit d6055f7 pushed by pefribeiro
1m 1s main
main
1m 1s
Added license, zenodo.json and deploy to zenodo action on release. Docker #11: Commit da2118e pushed by pefribeiro
Startup failure main
main
Startup failure