Skip to content

Actions: csplib/csplib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Updated roster and cleaned up comments from code CI #68: Pull request #231 opened by slipstreaming2
July 18, 2024 16:42 Action required slipstreaming2:updatedRoster
slipstreaming2:updatedRoster
July 18, 2024 16:42 Action required
New Models for Problems 067, 068, 087 and 090 CI #67: Pull request #229 synchronize by ruthhoffmann
June 11, 2024 12:53 1m 41s ruthhoffmann:master
ruthhoffmann:master
June 11, 2024 12:53 1m 41s
pages build and deployment pages-build-deployment #8: by github-pages bot
June 11, 2024 06:32 57s
June 11, 2024 06:32 57s
pages build and deployment pages-build-deployment #7: by github-pages bot
June 11, 2024 06:32 38s
June 11, 2024 06:32 38s
New model for N-Queens with z3 solver. Build and Deploy #32: Commit f456b04 pushed by ChrisJefferson
June 11, 2024 06:31 1m 17s master
master
June 11, 2024 06:31 1m 17s
New model for N-Queens with z3 solver. CI #66: Commit f456b04 pushed by ChrisJefferson
June 11, 2024 06:31 1m 33s master
master
June 11, 2024 06:31 1m 33s
Fix minion link CI #65: Commit e302576 pushed by ChrisJefferson
June 11, 2024 06:30 2m 26s master
master
June 11, 2024 06:30 2m 26s
Fix minion link Build and Deploy #31: Commit e302576 pushed by ChrisJefferson
June 11, 2024 06:30 1m 9s master
master
June 11, 2024 06:30 1m 9s
Fixes CI #64: Pull request #230 opened by ChrisJefferson
June 11, 2024 06:30 2m 45s fixes
fixes
June 11, 2024 06:30 2m 45s
New Models for Problems 067, 068, 087 and 090 CI #63: Pull request #229 synchronize by ruthhoffmann
June 7, 2024 10:20 1m 4s ruthhoffmann:master
ruthhoffmann:master
June 7, 2024 10:20 1m 4s
pages build and deployment pages-build-deployment #6: by github-pages bot
December 21, 2023 00:22 1m 52s
December 21, 2023 00:22 1m 52s
Try updating autobuilder CI #58: Commit 3fd13d4 pushed by ChrisJefferson
December 21, 2023 00:20 1m 3s master
master
December 21, 2023 00:20 1m 3s
Try updating autobuilder Build and Deploy #30: Commit 3fd13d4 pushed by ChrisJefferson
December 21, 2023 00:20 1m 10s master
master
December 21, 2023 00:20 1m 10s
Try updating autobuilder Build and Deploy #29: Commit 5c5ed11 pushed by ChrisJefferson
December 21, 2023 00:18 11s master
master
December 21, 2023 00:18 11s
Try updating autobuilder CI #57: Commit 5c5ed11 pushed by ChrisJefferson
December 21, 2023 00:18 1m 2s master
master
December 21, 2023 00:18 1m 2s
Fix ci CI #56: Pull request #227 synchronize by ChrisJefferson
December 21, 2023 00:15 1m 4s fix-ci
fix-ci
December 21, 2023 00:15 1m 4s
Fix ci CI #55: Pull request #227 opened by ChrisJefferson
December 21, 2023 00:15 55s fix-ci
fix-ci
December 21, 2023 00:15 55s
pages build and deployment pages-build-deployment #5: by github-pages bot
December 21, 2023 00:10 2m 23s
December 21, 2023 00:10 2m 23s
fix building in github pages deploy Build and Deploy #28: Commit 20a727a pushed by ChrisJefferson
December 21, 2023 00:09 1m 12s master
master
December 21, 2023 00:09 1m 12s
fix building in github pages deploy CI #54: Commit 20a727a pushed by ChrisJefferson
December 21, 2023 00:09 1m 3s master
master
December 21, 2023 00:09 1m 3s
fix building in github pages deploy CI #53: Pull request #226 opened by ChrisJefferson
December 21, 2023 00:05 1m 20s fix-ci
fix-ci
December 21, 2023 00:05 1m 20s
Have a local copy of jquery, in case of cdn issues CI #52: Commit e4f6cac pushed by ChrisJefferson
December 20, 2023 07:03 1m 0s master
master
December 20, 2023 07:03 1m 0s
Have a local copy of jquery, in case of cdn issues Build and Deploy #27: Commit e4f6cac pushed by ChrisJefferson
December 20, 2023 07:03 26s master
master
December 20, 2023 07:03 26s
Update index.html CI #51: Commit 0cbdde6 pushed by ozgurakgun
October 18, 2023 08:39 1m 14s master
master
October 18, 2023 08:39 1m 14s
Update index.html Build and Deploy #26: Commit 0cbdde6 pushed by ozgurakgun
October 18, 2023 08:39 32s master
master
October 18, 2023 08:39 32s