Skip to content

Actions: conjure-cp/conjure

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,062 workflow runs
1,062 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publishing Docker image to ghcr.io
Publishing Docker image to ghcr.io #256: Manually run by ozgurakgun
October 11, 2023 17:57 54m 1s v2.5.0
October 11, 2023 17:57 54m 1s
Publishing Docker image to ghcr.io
Publishing Docker image to ghcr.io #255: Manually run by ozgurakgun
October 11, 2023 17:57 51m 42s main
October 11, 2023 17:57 51m 42s
Building all solvers
Building all solvers #124: Scheduled
October 9, 2023 11:03 3m 55s main
October 9, 2023 11:03 3m 55s
Building all solvers
Building all solvers #123: Scheduled
October 2, 2023 11:03 34m 29s main
October 2, 2023 11:03 34m 29s
Building all solvers
Building all solvers #122: Scheduled
September 25, 2023 11:03 35m 0s main
September 25, 2023 11:03 35m 0s
Publishing Docker image to ghcr.io
Publishing Docker image to ghcr.io #254: completed by ozgurakgun
September 20, 2023 13:22 1h 3m 39s
September 20, 2023 13:22 1h 3m 39s
Running all tests
Running all tests #165: Manually run by ozgurakgun
September 20, 2023 11:04 2h 17m 38s ghc-9.4.7
September 20, 2023 11:04 2h 17m 38s
Building on all platforms
Building on all platforms #148: Manually run by ozgurakgun
September 20, 2023 11:04 38m 46s ghc-9.4.7
September 20, 2023 11:04 38m 46s
Building all solvers
Building all solvers #121: Scheduled
September 18, 2023 11:03 3m 52s main
September 18, 2023 11:03 3m 52s
Building all solvers
Building all solvers #120: Scheduled
September 11, 2023 11:03 33m 4s main
September 11, 2023 11:03 33m 4s
Building all solvers
Building all solvers #119: Scheduled
September 4, 2023 11:03 5m 58s main
September 4, 2023 11:03 5m 58s
Building all solvers
Building all solvers #118: Scheduled
August 28, 2023 11:03 40m 24s main
August 28, 2023 11:03 40m 24s
Publishing Docker image to ghcr.io
Publishing Docker image to ghcr.io #253: completed by ozgurakgun
August 24, 2023 23:12 34m 44s
August 24, 2023 23:12 34m 44s
removing unnecessary files
Building on all platforms #147: Commit 0955541 pushed by ozgurakgun
August 24, 2023 21:05 20m 5s main
August 24, 2023 21:05 20m 5s
removing unnecessary files
Running all tests #164: Commit 0955541 pushed by ozgurakgun
August 24, 2023 21:05 2h 7m 10s main
August 24, 2023 21:05 2h 7m 10s
removing unnecessary files
Running all tests (code coverage) #69: Commit 0955541 pushed by ozgurakgun
August 24, 2023 21:05 3h 12m 30s main
August 24, 2023 21:05 3h 12m 30s
Publishing Docker image to ghcr.io
Publishing Docker image to ghcr.io #252: completed by ozgurakgun
August 24, 2023 15:03 28m 3s
August 24, 2023 15:03 28m 3s
Merge pull request #581 from Maurice-Byrne/scopes
Building on all platforms #146: Commit f11b2a2 pushed by ozgurakgun
August 24, 2023 12:06 18m 57s main
August 24, 2023 12:06 18m 57s
Merge pull request #581 from Maurice-Byrne/scopes
Running all tests (code coverage) #68: Commit f11b2a2 pushed by ozgurakgun
August 24, 2023 12:06 3h 44m 12s main
August 24, 2023 12:06 3h 44m 12s
Merge pull request #581 from Maurice-Byrne/scopes
Running all tests #163: Commit f11b2a2 pushed by ozgurakgun
August 24, 2023 12:06 2h 57m 31s main
August 24, 2023 12:06 2h 57m 31s
Publishing Docker image to ghcr.io
Publishing Docker image to ghcr.io #251: completed by ozgurakgun
August 23, 2023 15:58 29m 34s
August 23, 2023 15:58 29m 34s
Merge pull request #582 from conjure-cp/ghc94support
Building on all platforms #145: Commit 344fe45 pushed by ozgurakgun
August 23, 2023 13:33 48m 0s main
August 23, 2023 13:33 48m 0s
Merge pull request #582 from conjure-cp/ghc94support
Building all solvers #117: Commit 344fe45 pushed by ozgurakgun
August 23, 2023 13:33 5m 51s main
August 23, 2023 13:33 5m 51s
Merge pull request #582 from conjure-cp/ghc94support
Running all tests (code coverage) #67: Commit 344fe45 pushed by ozgurakgun
August 23, 2023 13:33 3h 41m 45s main
August 23, 2023 13:33 3h 41m 45s
Merge pull request #582 from conjure-cp/ghc94support
Running all tests #162: Commit 344fe45 pushed by ozgurakgun
August 23, 2023 13:33 2h 25m 36s main
August 23, 2023 13:33 2h 25m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.