Skip to content

Actions: radevgit/selen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix for unbounded vars, adaptive step. Rust #175: Commit 8f0454c pushed by radevgit
23s main
main
23s
.lock Rust #174: Commit 9deacc8 pushed by radevgit
31s main
main
31s
Bump version Rust #173: Commit c78fb7d pushed by radevgit
48s main
main
48s
Added int_lin_* and float_lin_*. Refactored to modularization consept. Rust #172: Commit aedf922 pushed by radevgit
45s main
main
45s
Bump version Rust #171: Commit 3087aff pushed by radevgit
29s main
main
29s
Fix float_lin_eq issue Rust #170: Commit ffcb8cf pushed by radevgit
23s main
main
23s
Unbounded heuristics Rust #169: Commit 315ba32 pushed by radevgit
36s main
main
36s
Float reified constraints. Rust #168: Commit 47f215b pushed by radevgit
46s main
main
46s
Add missing zinc methods. Rust #167: Commit 39e5268 pushed by radevgit
42s main
main
42s
SolverConfig aligned with MiniZinc Rust #166: Commit 79d46af pushed by radevgit
28s main
main
28s
Merge pull request #24 from radevgit/selen_zelen_split Rust #165: Commit c7ba513 pushed by radevgit
44s main
main
44s
Split Selen Zelen Rust #164: Pull request #24 opened by radevgit
42s selen_zelen_split
selen_zelen_split
42s
FlatZinc splitting of Selen Rust #163: Commit c03ff96 pushed by radevgit
38s main
main
38s
Update selen package version to 0.8.7 Rust #162: Commit 9ec127a pushed by radevgit
54s main
main
54s
Bump Version Rust #161: Commit f844348 pushed by radevgit
47s main
main
47s
Merge pull request #23 from radevgit/zinc_phase3 Rust #160: Commit 902958f pushed by radevgit
24s main
main
24s
Zinc phase3 Rust #159: Pull request #23 synchronize by radevgit
47s zinc_phase3
zinc_phase3
47s
Zinc phase3 Rust #158: Pull request #23 synchronize by radevgit
37s zinc_phase3
zinc_phase3
37s
Zinc phase3 Rust #157: Pull request #23 synchronize by radevgit
21s zinc_phase3
zinc_phase3
21s
Zinc phase3 Rust #156: Pull request #23 synchronize by radevgit
39s zinc_phase3
zinc_phase3
39s
Zinc phase3 Rust #155: Pull request #23 synchronize by radevgit
38s zinc_phase3
zinc_phase3
38s
Zinc phase3 Rust #154: Pull request #23 synchronize by radevgit
35s zinc_phase3
zinc_phase3
35s
Zinc phase3 Rust #153: Pull request #23 synchronize by radevgit
33s zinc_phase3
zinc_phase3
33s
Zinc phase3 Rust #152: Pull request #23 synchronize by radevgit
36s zinc_phase3
zinc_phase3
36s
Zinc phase3 Rust #151: Pull request #23 synchronize by radevgit
29s zinc_phase3
zinc_phase3
29s