Skip to content

Actions: scipopt/scip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'clique-partition-remove-const' into 'master'
Build and Test #264: Commit 158393a pushed by scip-ci
November 5, 2024 16:49 In progress master
November 5, 2024 16:49 In progress
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #263: Commit bc28644 pushed by scip-ci
November 4, 2024 13:40 23m 22s master
November 4, 2024 13:40 23m 22s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #262: Commit 5dd8b87 pushed by scip-ci
November 4, 2024 11:44 23m 28s master
November 4, 2024 11:44 23m 28s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #261: Commit 04b02ee pushed by scip-ci
November 4, 2024 10:27 23m 28s master
November 4, 2024 10:27 23m 28s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #260: Commit d9a805e pushed by scip-ci
November 1, 2024 14:41 23m 5s master
November 1, 2024 14:41 23m 5s
Merge branch 'v9-minor'
Build and Test #259: Commit 4e4be43 pushed by scip-ci
November 1, 2024 07:42 22m 54s master
November 1, 2024 07:42 22m 54s
increased API version
Build and Test #258: Commit 5719003 pushed by scip-ci
October 31, 2024 11:02 21m 50s master
October 31, 2024 11:02 21m 50s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #257: Commit edff984 pushed by scip-ci
October 31, 2024 10:59 22m 19s master
October 31, 2024 10:59 22m 19s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #256: Commit 19a9fcf pushed by scip-ci
October 31, 2024 10:43 22m 23s master
October 31, 2024 10:43 22m 23s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #255: Commit c782589 pushed by scip-ci
October 30, 2024 21:42 21m 53s master
October 30, 2024 21:42 21m 53s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #254: Commit 400700d pushed by scip-ci
October 30, 2024 10:13 21m 41s master
October 30, 2024 10:13 21m 41s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #253: Commit 2a1b8a6 pushed by scip-ci
October 29, 2024 17:26 21m 36s master
October 29, 2024 17:26 21m 36s
Merge branch 'resolve-pseudoboolean-intvar' into 'master'
Build and Test #252: Commit 916cf8d pushed by scip-ci
October 29, 2024 15:42 22m 27s master
October 29, 2024 15:42 22m 27s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #251: Commit 36ea539 pushed by scip-ci
October 29, 2024 15:11 5m 14s master
October 29, 2024 15:11 5m 14s
Merge branch 'resolve-pseudoboolean-master' into 'master'
Build and Test #250: Commit fd4383b pushed by scip-ci
October 29, 2024 09:35 20m 32s master
October 29, 2024 09:35 20m 32s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #249: Commit b4117b7 pushed by scip-ci
October 28, 2024 23:23 20m 20s master
October 28, 2024 23:23 20m 20s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #248: Commit 086f9c9 pushed by scip-ci
October 28, 2024 08:54 20m 34s master
October 28, 2024 08:54 20m 34s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #247: Commit d5f4fb1 pushed by scip-ci
October 27, 2024 16:54 20m 12s master
October 27, 2024 16:54 20m 12s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #246: Commit d88cc8e pushed by scip-ci
October 25, 2024 12:54 20m 15s master
October 25, 2024 12:54 20m 15s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #245: Commit c4d9a95 pushed by scip-ci
October 24, 2024 21:54 20m 13s master
October 24, 2024 21:54 20m 13s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #244: Commit d23dfad pushed by scip-ci
October 22, 2024 09:54 20m 32s master
October 22, 2024 09:54 20m 32s
increment API version due to !3342
Build and Test #243: Commit dc0715e pushed by scip-ci
October 21, 2024 14:54 20m 35s master
October 21, 2024 14:54 20m 35s
increment API version due to !3540
Build and Test #242: Commit 1bc1efd pushed by scip-ci
October 21, 2024 08:54 20m 14s master
October 21, 2024 08:54 20m 14s
Merge remote-tracking branch 'origin/v9-minor'
Build and Test #241: Commit 0d11548 pushed by scip-ci
October 21, 2024 07:54 20m 23s master
October 21, 2024 07:54 20m 23s
increment API version due to !3480
Build and Test #240: Commit 0f9896e pushed by scip-ci
October 19, 2024 15:54 20m 17s master
October 19, 2024 15:54 20m 17s