Skip to content

Actions: lifebeyondfife/Decider

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish Nuget Package Publish Nuget Package #96: completed by lifebeyondfife
9s
9s
feat(search): add bounds clause learning (#162) CI #188: Commit 09f6fef pushed by lifebeyondfife
47s main
main
47s
feat(search): add bounds clause learning CI #187: Pull request #162 opened by lifebeyondfife
51s weak-clause-learning
weak-clause-learning
51s
Publish Nuget Package Publish Nuget Package #95: completed by lifebeyondfife
8s
8s
feat(constraint): integer clause generation (#157) CI #186: Commit d24b056 pushed by lifebeyondfife
49s main
main
49s
feat(constraint): integer clause generation CI #185: Pull request #157 opened by lifebeyondfife
51s integer-reason
integer-reason
51s
Publish Nuget Package Publish Nuget Package #94: completed by lifebeyondfife
8s
8s
feat(alldiff): add hall witness generation (#154) CI #184: Commit 02c7948 pushed by lifebeyondfife
50s main
main
50s
feat(alldiff): add hall witness generation CI #183: Pull request #154 synchronize by lifebeyondfife
46s hall-set
hall-set
46s
feat(alldiff): add hall witness generation CI #182: Pull request #154 opened by lifebeyondfife
47s hall-set
hall-set
47s
Publish Nuget Package Publish Nuget Package #93: completed by lifebeyondfife
9s
9s
feat(search): foundational clause learning work (#153) CI #181: Commit 78499d6 pushed by lifebeyondfife
42s main
main
42s
feat(search): foundational clause learning work CI #180: Pull request #153 opened by lifebeyondfife
40s clause-learning
clause-learning
40s
Publish Nuget Package Publish Nuget Package #92: completed by lifebeyondfife
8s
8s
feat(optimisation): explicit propagation after solution (#151) CI #179: Commit 6ab87a0 pushed by lifebeyondfife
48s main
main
48s
feat(optimisation): explicit propagation after solution CI #178: Pull request #151 synchronize by lifebeyondfife
43s optimisation-propagate
optimisation-propagate
43s
feat(optimisation): explicit propagation after solution CI #177: Pull request #151 opened by lifebeyondfife
46s optimisation-propagate
optimisation-propagate
46s
Publish Nuget Package Publish Nuget Package #91: completed by lifebeyondfife
8s
8s
feat(constraint): add disjunctive constraint (#150) CI #176: Commit 660a613 pushed by lifebeyondfife
44s main
main
44s
feat(constraint): add disjunctive constraint CI #175: Pull request #150 opened by lifebeyondfife
46s disjunctive-subproblems
disjunctive-subproblems
46s
Publish Nuget Package Publish Nuget Package #90: completed by lifebeyondfife
10s
10s
feat(cumulative): add timetable edge-finding CI #174: Commit 80964f4 pushed by lifebeyondfife
42s main
main
42s
Timetable edge CI #173: Pull request #149 opened by lifebeyondfife
44s timetable-edge
timetable-edge
44s
Publish Nuget Package Publish Nuget Package #89: completed by lifebeyondfife
11s
11s
feat(cumulative): add theta tree edge finding (#148) CI #172: Commit aaf1fcc pushed by lifebeyondfife
47s main
main
47s