Skip to content

Actions: huub-solver/huub

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
258 workflow runs
258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stronger explanations Run Tests #58: Pull request #73 synchronize by Dekker1
August 23, 2024 02:34 1m 55s feat/strong_expl
feat/strong_expl
August 23, 2024 02:34 1m 55s
Fix iteration over the unification map Run Tests #57: Pull request #95 opened by Dekker1
August 23, 2024 00:36 2m 36s fix/unification_iter
fix/unification_iter
August 23, 2024 00:36 2m 36s
Fix the cohesion of the model when a view is part of unification Run Tests #56: Pull request #90 opened by Dekker1
August 21, 2024 05:24 2m 24s fix/unify_with_view
fix/unify_with_view
August 21, 2024 05:24 2m 24s
Resolve infinite recursion when encoding Not Expressions Run Tests #55: Pull request #88 synchronize by Dekker1
August 19, 2024 03:38 1m 42s fix/boolexpr_not_inf
fix/boolexpr_not_inf
August 19, 2024 03:38 1m 42s
Resolve infinite recursion when encoding Not Expressions Run Tests #54: Pull request #88 synchronize by Dekker1
August 19, 2024 02:42 1m 50s fix/boolexpr_not_inf
fix/boolexpr_not_inf
August 19, 2024 02:42 1m 50s
Resolve infinite recursion when encoding Not Expressions Run Tests #53: Pull request #88 opened by Dekker1
August 19, 2024 02:31 2m 54s fix/boolexpr_not_inf
fix/boolexpr_not_inf
August 19, 2024 02:31 2m 54s
Add regression testing for empty And/Or reification Run Tests #52: Pull request #87 opened by Dekker1
August 19, 2024 01:32 2m 36s feat/empty_or_regression_test
feat/empty_or_regression_test
August 19, 2024 01:32 2m 36s
Fix integer literal retrieval for NotEq on linear transformations Run Tests #51: Pull request #86 opened by Dekker1
August 19, 2024 00:30 2m 39s fix/not_eq_trans
fix/not_eq_trans
August 19, 2024 00:30 2m 39s
Stronger explanations Run Tests #50: Pull request #73 synchronize by Dekker1
August 16, 2024 00:40 2m 18s feat/strong_expl
feat/strong_expl
August 16, 2024 00:40 2m 18s
Add regression test for XOR encoding bug in pindakaas Run Tests #49: Pull request #79 opened by Dekker1
August 15, 2024 03:12 2m 22s fix/xor_regression_test
fix/xor_regression_test
August 15, 2024 03:12 2m 22s
Stronger explanations Run Tests #48: Pull request #73 synchronize by Dekker1
August 13, 2024 03:08 1m 28s feat/strong_expl
feat/strong_expl
August 13, 2024 03:08 1m 28s
Stronger explanations Run Tests #47: Pull request #73 synchronize by Dekker1
August 13, 2024 02:48 1m 48s feat/strong_expl
feat/strong_expl
August 13, 2024 02:48 1m 48s
Bump the production group with 3 updates Run Tests #46: Pull request #76 opened by dependabot bot
August 12, 2024 09:42 8s dependabot/cargo/production-6e64559b33
dependabot/cargo/production-6e64559b33
August 12, 2024 09:42 8s
fix indexing for array_var_int_element constraint Run Tests #45: Pull request #75 synchronize by AllenZzw
August 12, 2024 03:55 7s fix/array_var_int_element_index
fix/array_var_int_element_index
August 12, 2024 03:55 7s
fix indexing for array_var_int_element constraint Run Tests #44: Pull request #75 opened by AllenZzw
August 12, 2024 01:54 2m 21s fix/array_var_int_element_index
fix/array_var_int_element_index
August 12, 2024 01:54 2m 21s
add log-file option to write debug/tracing information into a file Run Tests #43: Pull request #74 synchronize by Dekker1
August 12, 2024 01:50 1m 14s feat/file-log
feat/file-log
August 12, 2024 01:50 1m 14s
add log-file option to write debug/tracing information into a file Run Tests #42: Pull request #74 synchronize by Dekker1
August 12, 2024 01:49 1m 23s feat/file-log
feat/file-log
August 12, 2024 01:49 1m 23s
add log-file option to write debug/tracing information into a file Run Tests #41: Pull request #74 synchronize by Dekker1
August 12, 2024 01:47 1m 34s feat/file-log
feat/file-log
August 12, 2024 01:47 1m 34s
add log-file option to write debug/tracing information into a file Run Tests #40: Pull request #74 synchronize by Dekker1
August 12, 2024 01:47 2m 7s feat/file-log
feat/file-log
August 12, 2024 01:47 2m 7s
add log-file option to write debug/tracing information into a file Run Tests #39: Pull request #74 opened by AllenZzw
August 11, 2024 04:55 2m 39s feat/file-log
feat/file-log
August 11, 2024 04:55 2m 39s
Stronger explanations Run Tests #38: Pull request #73 synchronize by Dekker1
August 7, 2024 03:27 1m 22s feat/strong_expl
feat/strong_expl
August 7, 2024 03:27 1m 22s
Stronger explanations Run Tests #37: Pull request #73 opened by Dekker1
August 7, 2024 03:09 2m 34s feat/strong_expl
feat/strong_expl
August 7, 2024 03:09 2m 34s
Update the installation instruction for fzn-huub in README Run Tests #36: Pull request #72 opened by Dekker1
August 6, 2024 09:33 2m 25s fix/install-fzn-huub
fix/install-fzn-huub
August 6, 2024 09:33 2m 25s
Use cargo dist release branch feature Run Tests #35: Pull request #71 synchronize by Dekker1
August 6, 2024 08:43 1m 59s feat/dist-nightly
feat/dist-nightly
August 6, 2024 08:43 1m 59s
Use cargo dist release branch feature Run Tests #34: Pull request #71 synchronize by Dekker1
August 6, 2024 08:39 2m 5s feat/dist-nightly
feat/dist-nightly
August 6, 2024 08:39 2m 5s