Skip to content

Actions: conjure-cp/conjure

Building on all platforms

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding autoconf to build dependencies
Building on all platforms #325: Pull request #658 synchronize by ozgurakgun
May 7, 2024 14:46 15m 19s ci-solver-build
May 7, 2024 14:46 15m 19s
adding autoconf to build dependencies
Building on all platforms #324: Pull request #658 synchronize by ozgurakgun
May 7, 2024 07:20 16m 17s ci-solver-build
May 7, 2024 07:20 16m 17s
adding autoconf to build dependencies
Building on all platforms #323: Pull request #658 synchronize by ozgurakgun
May 6, 2024 19:37 22m 54s ci-solver-build
May 6, 2024 19:37 22m 54s
adding autoconf to build dependencies
Building on all platforms #322: Pull request #658 synchronize by ozgurakgun
May 6, 2024 19:34 12m 58s ci-solver-build
May 6, 2024 19:34 12m 58s
adding autoconf to build dependencies
Building on all platforms #321: Pull request #658 synchronize by ozgurakgun
May 6, 2024 19:10 14m 29s ci-solver-build
May 6, 2024 19:10 14m 29s
adding autoconf to build dependencies
Building on all platforms #320: Pull request #658 synchronize by ozgurakgun
May 6, 2024 15:17 20m 6s ci-solver-build
May 6, 2024 15:17 20m 6s
adding autoconf to build dependencies
Building on all platforms #319: Pull request #658 opened by ozgurakgun
May 6, 2024 15:08 14m 59s ci-solver-build
May 6, 2024 15:08 14m 59s
catch another SR error message: ERROR: Failed when writing SAT encodi…
Building on all platforms #317: Commit f237199 pushed by ozgurakgun
May 4, 2024 13:09 16m 24s main
May 4, 2024 13:09 16m 24s
add preImage seq test case
Building on all platforms #316: Commit a5ea345 pushed by ozgurakgun
April 27, 2024 20:58 23m 43s main
April 27, 2024 20:58 23m 43s
adding row and col bucket based streamliners for 2d matrices
Building on all platforms #315: Pull request #656 synchronize by ozgurakgun
April 23, 2024 10:35 32m 14s finer-streamliners
April 23, 2024 10:35 32m 14s
adding row and col bucket based streamliners for 2d matrices
Building on all platforms #314: Pull request #656 synchronize by ozgurakgun
April 23, 2024 10:26 28m 16s finer-streamliners
April 23, 2024 10:26 28m 16s
adding row and col bucket based streamliners for 2d matrices
Building on all platforms #313: Pull request #656 opened by ozgurakgun
April 23, 2024 10:22 22m 59s finer-streamliners
April 23, 2024 10:22 22m 59s
lint
Building on all platforms #312: Commit 25e9bc6 pushed by ozgurakgun
April 20, 2024 22:25 17m 9s main
April 20, 2024 22:25 17m 9s
bringing permutation-minimal up to date
Building on all platforms #311: Pull request #646 synchronize by ChrisJefferson
April 14, 2024 02:28 17m 28s permutation-minimal
April 14, 2024 02:28 17m 28s
bringing permutation-minimal up to date
Building on all platforms #310: Pull request #646 synchronize by ozgurakgun
April 13, 2024 23:09 24m 56s permutation-minimal
April 13, 2024 23:09 24m 56s
bugfix: bubbling up through comprehensions that contain lettings
Building on all platforms #309: Commit 5904887 pushed by ozgurakgun
April 13, 2024 22:40 26m 48s main
April 13, 2024 22:40 26m 48s
bringing permutation-minimal up to date
Building on all platforms #308: Pull request #646 synchronize by ozgurakgun
April 13, 2024 22:34 18m 10s permutation-minimal
April 13, 2024 22:34 18m 10s
bringing permutation-minimal up to date
Building on all platforms #307: Pull request #646 synchronize by ozgurakgun
April 13, 2024 20:34 18m 33s permutation-minimal
April 13, 2024 20:34 18m 33s
bringing permutation-minimal up to date
Building on all platforms #306: Pull request #646 synchronize by ChrisJefferson
April 13, 2024 04:06 17m 29s permutation-minimal
April 13, 2024 04:06 17m 29s
catch a runsolver message
Building on all platforms #305: Commit 1cf7f33 pushed by ozgurakgun
April 12, 2024 09:47 1h 26m 12s main
April 12, 2024 09:47 1h 26m 12s
bringing permutation-minimal up to date
Building on all platforms #304: Pull request #646 synchronize by ozgurakgun
April 12, 2024 09:43 1h 8m 28s permutation-minimal
April 12, 2024 09:43 1h 8m 28s
bringing permutation-minimal up to date
Building on all platforms #303: Pull request #646 synchronize by ChrisJefferson
April 12, 2024 09:28 17m 33s permutation-minimal
April 12, 2024 09:28 17m 33s
bringing permutation-minimal up to date
Building on all platforms #302: Pull request #646 synchronize by ozgurakgun
April 12, 2024 08:51 14m 13s permutation-minimal
April 12, 2024 08:51 14m 13s
bringing permutation-minimal up to date
Building on all platforms #301: Pull request #646 synchronize by ChrisJefferson
April 10, 2024 06:14 14m 27s permutation-minimal
April 10, 2024 06:14 14m 27s