Skip to content

Actions: conjure-cp/conjure-oxide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow run results
129 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Model builder solvers/kissat #8: Pull request #16 synchronize by lixitrixi
October 18, 2023 22:54 53s lixitrixi:model-builder
lixitrixi:model-builder
October 18, 2023 22:54 53s
Model builder solvers/minion #15: Pull request #16 opened by lixitrixi
October 18, 2023 22:50 30m 6s lixitrixi:model-builder
lixitrixi:model-builder
October 18, 2023 22:50 30m 6s
Model builder solvers/chuffed #7: Pull request #16 opened by lixitrixi
October 18, 2023 22:50 4m 6s lixitrixi:model-builder
lixitrixi:model-builder
October 18, 2023 22:50 4m 6s
Model builder solvers/kissat #7: Pull request #16 opened by lixitrixi
October 18, 2023 22:50 2m 53s lixitrixi:model-builder
lixitrixi:model-builder
October 18, 2023 22:50 2m 53s
an initial go at representing a model solvers/kissat #6: Pull request #15 opened by ozgurakgun
October 18, 2023 15:24 1m 51s ozgurakgun:the-abc-problem
ozgurakgun:the-abc-problem
October 18, 2023 15:24 1m 51s
an initial go at representing a model solvers/minion #14: Pull request #15 opened by ozgurakgun
October 18, 2023 15:24 27m 10s ozgurakgun:the-abc-problem
ozgurakgun:the-abc-problem
October 18, 2023 15:24 27m 10s
an initial go at representing a model solvers/chuffed #6: Pull request #15 opened by ozgurakgun
October 18, 2023 15:24 3m 57s ozgurakgun:the-abc-problem
ozgurakgun:the-abc-problem
October 18, 2023 15:24 3m 57s
Merge pull request #14 from niklasdewally/pr/use-minion-upstream solvers/minion #13: Commit 45ea0b7 pushed by ozgurakgun
October 10, 2023 17:23 33m 41s main
main
October 10, 2023 17:23 33m 41s
Minion: point submodule to upstream (minion/minion) solvers/minion #12: Pull request #14 synchronize by niklasdewally
October 10, 2023 12:41 28m 26s niklasdewally:pr/use-minion-upstream
niklasdewally:pr/use-minion-upstream
October 10, 2023 12:41 28m 26s
Minion: point submodule to upstream (minion/minion) solvers/minion #11: Pull request #14 synchronize by niklasdewally
October 10, 2023 12:41 26m 24s niklasdewally:pr/use-minion-upstream
niklasdewally:pr/use-minion-upstream
October 10, 2023 12:41 26m 24s
Minion: point submodule to upstream (minion/minion) solvers/minion #10: Pull request #14 opened by niklasdewally
October 10, 2023 12:39 25m 4s niklasdewally:pr/use-minion-upstream
niklasdewally:pr/use-minion-upstream
October 10, 2023 12:39 25m 4s
Merge pull request #12 from lixitrixi/main solvers/chuffed #5: Commit 27a39e5 pushed by ozgurakgun
October 5, 2023 17:33 1m 58s main
main
October 5, 2023 17:33 1m 58s
Merge pull request #12 from lixitrixi/main solvers/minion #9: Commit 27a39e5 pushed by ozgurakgun
October 5, 2023 17:33 3m 52s main
main
October 5, 2023 17:33 3m 52s
Merge pull request #12 from lixitrixi/main solvers/kissat #5: Commit 27a39e5 pushed by ozgurakgun
October 5, 2023 17:33 2m 8s main
main
October 5, 2023 17:33 2m 8s
Specify solver imports explicitly solvers/kissat #4: Pull request #12 synchronize by lixitrixi
October 5, 2023 13:39 38s lixitrixi:main
lixitrixi:main
October 5, 2023 13:39 38s
Specify solver imports explicitly solvers/minion #8: Pull request #12 synchronize by lixitrixi
October 5, 2023 13:39 1m 33s lixitrixi:main
lixitrixi:main
October 5, 2023 13:39 1m 33s
Specify solver imports explicitly solvers/chuffed #4: Pull request #12 synchronize by lixitrixi
October 5, 2023 13:39 1m 21s lixitrixi:main
lixitrixi:main
October 5, 2023 13:39 1m 21s
Merge pull request #7 from lixitrixi/main solvers/kissat #3: Commit ec06c22 pushed by ozgurakgun
October 4, 2023 19:06 1m 36s main
main
October 4, 2023 19:06 1m 36s
Kissat bindings solvers/kissat #2: Pull request #7 synchronize by lixitrixi
October 4, 2023 18:49 35s lixitrixi:main
lixitrixi:main
October 4, 2023 18:49 35s
Merge pull request #6 from Kieranoski702/main solvers/chuffed #3: Commit cda01a7 pushed by ozgurakgun
October 4, 2023 18:26 3m 38s main
main
October 4, 2023 18:26 3m 38s
Chuffed: initial commit solvers/chuffed #2: Pull request #6 synchronize by Kieranoski702
October 4, 2023 14:38 3m 52s Kieranoski702:main
Kieranoski702:main
October 4, 2023 14:38 3m 52s
Kissat bindings solvers/kissat #1: Pull request #7 opened by lixitrixi
October 3, 2023 14:12 1m 48s lixitrixi:main
lixitrixi:main
October 3, 2023 14:12 1m 48s
Merge pull request #5 from niklasdewally/build-using-minion solvers/minion #7: Commit 54c3873 pushed by ozgurakgun
September 29, 2023 13:02 25m 8s main
main
September 29, 2023 13:02 25m 8s
Minion: Use minion's build system not build.rs to build libminion, and CI tweaks solvers/minion #6: Pull request #5 synchronize by niklasdewally
September 28, 2023 19:24 24m 12s niklasdewally:build-using-minion
niklasdewally:build-using-minion
September 28, 2023 19:24 24m 12s
Minion: Use minion's build system not build.rs to build libminion, and CI tweaks solvers/minion #5: Pull request #5 synchronize by niklasdewally
September 28, 2023 19:03 30m 49s niklasdewally:build-using-minion
niklasdewally:build-using-minion
September 28, 2023 19:03 30m 49s