Skip to content

Actions: jendrikseipp/scorpion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #69: by github-pages bot
September 12, 2024 12:23 24s
September 12, 2024 12:23 24s
Prune initial state if bound=0. Docs #92: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 3m 53s scorpion
scorpion
September 12, 2024 12:19 3m 53s
Prune initial state if bound=0. Code style tests #222: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 6m 30s scorpion
scorpion
September 12, 2024 12:19 6m 30s
Prune initial state if bound=0. Apptainer #66: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 5m 4s scorpion
scorpion
September 12, 2024 12:19 5m 4s
Prune initial state if bound=0. Windows #222: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 19m 47s scorpion
scorpion
September 12, 2024 12:19 19m 47s
Prune initial state if bound=0. macOS #222: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 3s scorpion
scorpion
September 12, 2024 12:19 3s
Prune initial state if bound=0. Ubuntu #222: Commit 2ffb77c pushed by jendrikseipp
September 12, 2024 12:19 15m 40s scorpion
scorpion
September 12, 2024 12:19 15m 40s
pages build and deployment pages-build-deployment #68: by github-pages bot
July 5, 2024 18:43 2m 55s
July 5, 2024 18:43 2m 55s
Merge branch 'main' into scorpion Code style tests #221: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 6m 10s scorpion
scorpion
July 5, 2024 18:40 6m 10s
Merge branch 'main' into scorpion Ubuntu #221: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 15m 44s scorpion
scorpion
July 5, 2024 18:40 15m 44s
Merge branch 'main' into scorpion macOS #221: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 4s scorpion
scorpion
July 5, 2024 18:40 4s
Merge branch 'main' into scorpion Apptainer #65: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 4m 44s scorpion
scorpion
July 5, 2024 18:40 4m 44s
Merge branch 'main' into scorpion Docs #91: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 3m 55s scorpion
scorpion
July 5, 2024 18:40 3m 55s
Merge branch 'main' into scorpion Windows #221: Commit 3a32742 pushed by jendrikseipp
July 5, 2024 18:40 19m 4s scorpion
scorpion
July 5, 2024 18:40 19m 4s
[issue1134] Implement delete-relaxation operator-counting constraints… Ubuntu #220: Commit 00625e7 pushed by jendrikseipp
July 5, 2024 18:39 12m 51s main
main
July 5, 2024 18:39 12m 51s
[issue1134] Implement delete-relaxation operator-counting constraints… Windows #220: Commit 00625e7 pushed by jendrikseipp
July 5, 2024 18:39 15m 45s main
main
July 5, 2024 18:39 15m 45s
[issue1134] Implement delete-relaxation operator-counting constraints… Autodoc #9: Commit 00625e7 pushed by jendrikseipp
July 5, 2024 18:39 3s main
main
July 5, 2024 18:39 3s
[issue1134] Implement delete-relaxation operator-counting constraints… Code style tests #220: Commit 00625e7 pushed by jendrikseipp
July 5, 2024 18:39 5m 34s main
main
July 5, 2024 18:39 5m 34s
[issue1134] Implement delete-relaxation operator-counting constraints… macOS #220: Commit 00625e7 pushed by jendrikseipp
July 5, 2024 18:39 1d 7h 22m 3s main
main
July 5, 2024 18:39 1d 7h 22m 3s
pages build and deployment pages-build-deployment #67: by github-pages bot
May 29, 2024 17:22 38s
May 29, 2024 17:22 38s
Remove unneeded includes. Apptainer #64: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 7m 9s scorpion
scorpion
May 29, 2024 17:18 7m 9s
Remove unneeded includes. Ubuntu #219: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 15m 47s scorpion
scorpion
May 29, 2024 17:18 15m 47s
Remove unneeded includes. Windows #219: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 21m 11s scorpion
scorpion
May 29, 2024 17:18 21m 11s
Remove unneeded includes. macOS #219: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 3s scorpion
scorpion
May 29, 2024 17:18 3s
Remove unneeded includes. Docs #90: Commit d1c226e pushed by jendrikseipp
May 29, 2024 17:18 4m 3s scorpion
scorpion
May 29, 2024 17:18 4m 3s