Skip to content

Actions: huub-solver/huub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
993 workflow runs
993 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stronger GreaterEq literal rounding Check Format #44: Commit 82f6e52 pushed by Dekker1
May 13, 2024 06:20 22s develop
develop
May 13, 2024 06:20 22s
Stronger GreaterEq literal rounding Check Format #43: Commit 82f6e52 pushed by Dekker1
May 13, 2024 06:06 24s fix/geq_round
fix/geq_round
May 13, 2024 06:06 24s
Stronger GreaterEq literal rounding Run Tests #49: Commit 82f6e52 pushed by Dekker1
May 13, 2024 06:06 1m 48s fix/geq_round
fix/geq_round
May 13, 2024 06:06 1m 48s
Fix the rounding for linear transformations Run Tests #48: Commit 6b0049d pushed by Dekker1
May 13, 2024 04:00 2m 6s develop
develop
May 13, 2024 04:00 2m 6s
Fix the rounding for linear transformations Check Format #42: Commit 6b0049d pushed by Dekker1
May 13, 2024 04:00 21s develop
develop
May 13, 2024 04:00 21s
Add array_int_minimum propagator (#18) Run Tests #47: Commit 4593f9d pushed by Dekker1
May 9, 2024 04:52 1m 49s develop
develop
May 9, 2024 04:52 1m 49s
Add array_int_minimum propagator (#18) Check Format #41: Commit 4593f9d pushed by Dekker1
May 9, 2024 04:52 26s develop
develop
May 9, 2024 04:52 26s
Fix FlatZinc mapping for bool_clause_reif Run Tests #46: Commit ff958b8 pushed by Dekker1
May 8, 2024 05:03 2m 7s develop
develop
May 8, 2024 05:03 2m 7s
Fix FlatZinc mapping for bool_clause_reif Check Format #40: Commit ff958b8 pushed by Dekker1
May 8, 2024 05:03 23s develop
develop
May 8, 2024 05:03 23s
Fix FlatZinc mapping for bool_clause_reif Run Tests #45: Commit ff958b8 pushed by Dekker1
May 8, 2024 05:00 2m 1s feat/prop_logic
feat/prop_logic
May 8, 2024 05:00 2m 1s
Fix FlatZinc mapping for bool_clause_reif Check Format #39: Commit ff958b8 pushed by Dekker1
May 8, 2024 05:00 25s feat/prop_logic
feat/prop_logic
May 8, 2024 05:00 25s
Improve testing infrastructure and add more propositional logic tests Run Tests #44: Commit 1e515c0 pushed by Dekker1
May 8, 2024 04:35 3m 42s feat/prop_logic
feat/prop_logic
May 8, 2024 04:35 3m 42s
Improve testing infrastructure and add more propositional logic tests Check Format #38: Commit 1e515c0 pushed by Dekker1
May 8, 2024 04:35 21s feat/prop_logic
feat/prop_logic
May 8, 2024 04:35 21s
Add Ctrl-C handler when no intermediate output is used Check Format #37: Commit 426792d pushed by Dekker1
May 7, 2024 11:08 25s feat/prop_logic
feat/prop_logic
May 7, 2024 11:08 25s
Add Ctrl-C handler when no intermediate output is used Run Tests #43: Commit 426792d pushed by Dekker1
May 7, 2024 11:08 2m 0s feat/prop_logic
feat/prop_logic
May 7, 2024 11:08 2m 0s
Add branch_and_bound method to Solver Run Tests #42: Commit 7b037e2 pushed by Dekker1
May 7, 2024 10:16 1m 36s feat/prop_logic
feat/prop_logic
May 7, 2024 10:16 1m 36s
Add branch_and_bound method to Solver Check Format #36: Commit 7b037e2 pushed by Dekker1
May 7, 2024 10:16 26s feat/prop_logic
feat/prop_logic
May 7, 2024 10:16 26s
Add basic modelling and reformulation of propositional logic Run Tests #41: Commit f8fa2de pushed by Dekker1
May 7, 2024 04:15 1m 44s feat/prop_logic
feat/prop_logic
May 7, 2024 04:15 1m 44s
Add basic modelling and reformulation of propositional logic Check Format #35: Commit f8fa2de pushed by Dekker1
May 7, 2024 04:15 21s feat/prop_logic
feat/prop_logic
May 7, 2024 04:15 21s
Add basic modelling and reformulation of propositional logic Run Tests #40: Commit 747815b pushed by Dekker1
May 7, 2024 01:14 1m 46s feat/prop_logic
feat/prop_logic
May 7, 2024 01:14 1m 46s
Add basic modelling and reformulation of propositional logic Check Format #34: Commit 747815b pushed by Dekker1
May 7, 2024 01:14 26s feat/prop_logic
feat/prop_logic
May 7, 2024 01:14 26s
Add basic modelling and reformulation of propositional logic Check Format #33: Commit d40e827 pushed by Dekker1
May 6, 2024 11:35 22s feat/prop_logic
feat/prop_logic
May 6, 2024 11:35 22s
Add basic modelling and reformulation of propositional logic Run Tests #39: Commit d40e827 pushed by Dekker1
May 6, 2024 11:35 1m 52s feat/prop_logic
feat/prop_logic
May 6, 2024 11:35 1m 52s
Add basic modelling and reformulation of propositional logic Run Tests #38: Commit 1fff02b pushed by Dekker1
May 6, 2024 11:32 26s feat/prop_logic
feat/prop_logic
May 6, 2024 11:32 26s
Add basic modelling and reformulation of propositional logic Check Format #32: Commit 1fff02b pushed by Dekker1
May 6, 2024 11:32 24s feat/prop_logic
feat/prop_logic
May 6, 2024 11:32 24s
ProTip! You can narrow down the results and go further in time using created:<2024-05-06 or the other filters available.