Skip to content

Actions: huub-solver/huub

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
256 workflow runs
256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for the table_int constraint Release #256: Pull request #143 synchronize by Dekker1
November 27, 2024 00:15 31s Dekker1:feat/table_int
Dekker1:feat/table_int
November 27, 2024 00:15 31s
Add support for the table_int constraint Release #255: Pull request #143 synchronize by Dekker1
November 26, 2024 22:39 25s Dekker1:feat/table_int
Dekker1:feat/table_int
November 26, 2024 22:39 25s
Add support for the table_int constraint Release #254: Pull request #143 opened by Dekker1
November 26, 2024 06:03 25s Dekker1:feat/table_int
Dekker1:feat/table_int
November 26, 2024 06:03 25s
Avoid half-reification for literal views Release #253: Pull request #124 synchronize by Dekker1
November 25, 2024 23:11 29s Dekker1:feat/no_view_imp
Dekker1:feat/no_view_imp
November 25, 2024 23:11 29s
Fix regression caused by 4aa742b8a159aa74ba86c8a920bf183f11810707 Release #252: Pull request #142 synchronize by Dekker1
November 25, 2024 23:02 26s Dekker1:fix/lazy_gt_in_eq
Dekker1:fix/lazy_gt_in_eq
November 25, 2024 23:02 26s
Fix regression caused by 4aa742b8a159aa74ba86c8a920bf183f11810707 Release #251: Pull request #142 opened by Dekker1
November 25, 2024 22:56 22s Dekker1:fix/lazy_gt_in_eq
Dekker1:fix/lazy_gt_in_eq
November 25, 2024 22:56 22s
Avoid half-reification for literal views Release #250: Pull request #124 synchronize by Dekker1
November 25, 2024 04:03 26s Dekker1:feat/no_view_imp
Dekker1:feat/no_view_imp
November 25, 2024 04:03 26s
Avoid creating propagators for implication of integer literals Release #249: Pull request #141 opened by Dekker1
November 25, 2024 03:50 33s Dekker1:feat/implied_int_view
Dekker1:feat/implied_int_view
November 25, 2024 03:50 33s
Ensure that conflicts from Engine::check_solutions are forgettable Release #248: Pull request #140 opened by Dekker1
November 25, 2024 03:16 25s Dekker1:feat/removable_conflict_clauses
Dekker1:feat/removable_conflict_clauses
November 25, 2024 03:16 25s
Add documentation and reorganize Release #247: Pull request #139 synchronize by Dekker1
November 25, 2024 02:41 24s Dekker1:fix/docs
Dekker1:fix/docs
November 25, 2024 02:41 24s
Add documentation and reorganize Release #246: Pull request #139 synchronize by Dekker1
November 25, 2024 02:10 29s Dekker1:fix/docs
Dekker1:fix/docs
November 25, 2024 02:10 29s
Add documentation and reorganize Release #245: Pull request #139 synchronize by Dekker1
November 25, 2024 01:46 22s Dekker1:fix/docs
Dekker1:fix/docs
November 25, 2024 01:46 22s
Add documentation and reorganize Release #244: Pull request #139 opened by Dekker1
November 25, 2024 01:41 31s Dekker1:fix/docs
Dekker1:fix/docs
November 25, 2024 01:41 31s
Detect all conflicts on Engine::check_solution Release #243: Pull request #137 synchronize by Dekker1
November 20, 2024 22:26 29s Dekker1:feat/check_sol_mult_conflict
Dekker1:feat/check_sol_mult_conflict
November 20, 2024 22:26 29s
Change the meaning of positive order literals to be x<i Release #242: Pull request #136 synchronize by Dekker1
November 19, 2024 22:21 25s Dekker1:fix/lt_lits
Dekker1:fix/lt_lits
November 19, 2024 22:21 25s
Update cargo-dist to version 0.23 Release #241: Pull request #138 synchronize by Dekker1
November 19, 2024 03:29 32s Dekker1:fix/dist-0.23
Dekker1:fix/dist-0.23
November 19, 2024 03:29 32s
Update cargo-dist to version 0.23 Release #240: Pull request #138 opened by Dekker1
November 19, 2024 03:19 49s Dekker1:fix/dist-0.23
Dekker1:fix/dist-0.23
November 19, 2024 03:19 49s
Detect all conflicts on Engine::check_solution Release #239: Pull request #137 synchronize by Dekker1
November 19, 2024 02:55 31s Dekker1:feat/check_sol_mult_conflict
Dekker1:feat/check_sol_mult_conflict
November 19, 2024 02:55 31s
[WIP] add configurations to deactivate propagations of CP propagators Release #238: Pull request #127 synchronize by AllenZzw
November 19, 2024 02:43 24s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
November 19, 2024 02:43 24s
Detect all conflicts on Engine::check_solution Release #237: Pull request #137 opened by Dekker1
November 19, 2024 02:32 24s Dekker1:feat/check_sol_mult_conflict
Dekker1:feat/check_sol_mult_conflict
November 19, 2024 02:32 24s
Change the meaning of positive order literals to be x<i Release #236: Pull request #136 synchronize by Dekker1
November 19, 2024 00:34 23s Dekker1:fix/lt_lits
Dekker1:fix/lt_lits
November 19, 2024 00:34 23s
Change the meaning of positive order literals to be x<i Release #235: Pull request #136 opened by Dekker1
November 19, 2024 00:14 26s Dekker1:fix/lt_lits
Dekker1:fix/lt_lits
November 19, 2024 00:14 26s
[WIP] add configurations to deactivate propagations of CP propagators Release #234: Pull request #127 synchronize by AllenZzw
November 17, 2024 22:39 19s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
November 17, 2024 22:39 19s
[WIP] add configurations to deactivate propagations of CP propagators Release #233: Pull request #127 synchronize by AllenZzw
November 14, 2024 07:25 22s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
November 14, 2024 07:25 22s
[WIP] add configurations to deactivate propagations of CP propagators Release #232: Pull request #127 synchronize by AllenZzw
November 6, 2024 04:24 19s AllenZzw:feat/deactivate_propagations
AllenZzw:feat/deactivate_propagations
November 6, 2024 04:24 19s