Skip to content

Actions: Lipen/sat-nexus

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

Allow 'item', not only 'function' CI #228: Commit 72af85c pushed by Lipen
March 6, 2024 13:05 7m 17s master
master
March 6, 2024 13:05 7m 17s
Allow only "minisat_" functions CI #227: Commit 262c79c pushed by Lipen
March 6, 2024 12:52 5m 55s master
master
March 6, 2024 12:52 5m 55s
CI CI #226: Manually run by Lipen
March 6, 2024 12:27 36m 40s master
master
March 6, 2024 12:27 36m 40s
CI CI #225: Manually run by Lipen
March 6, 2024 11:50 35m 58s master
master
March 6, 2024 11:50 35m 58s
Setup tmate on Linux also CI #224: Commit 054d84d pushed by Lipen
March 6, 2024 11:18 7m 30s master
master
March 6, 2024 11:18 7m 30s
CI CI #223: Manually run by Lipen
March 6, 2024 11:06 41m 59s master
master
March 6, 2024 11:06 41m 59s
Use dll target on Windows CI #222: Commit 5127ada pushed by Lipen
March 6, 2024 10:52 7m 39s master
master
March 6, 2024 10:52 7m 39s
Specify MINISAT_DLIB=minisat.dll on Windows CI #221: Commit d5fdb73 pushed by Lipen
March 6, 2024 10:16 7m 48s master
master
March 6, 2024 10:16 7m 48s
Fix soname of minisat.dll on Windows CI #220: Commit d05367c pushed by Lipen
March 6, 2024 10:08 3m 55s master
master
March 6, 2024 10:08 3m 55s
Fix CI CI #219: Commit c5fc208 pushed by Lipen
March 6, 2024 09:42 7m 9s master
master
March 6, 2024 09:42 7m 9s
Fix prefix CI #218: Commit a0d99c5 pushed by Lipen
March 6, 2024 09:28 3m 42s master
master
March 6, 2024 09:28 3m 42s
Fix CI for minisat CI #217: Commit 743aeae pushed by Lipen
March 6, 2024 09:20 4m 3s master
master
March 6, 2024 09:20 4m 3s
Remove break CI #216: Commit 18b3161 pushed by Lipen
March 5, 2024 19:55 3m 42s master
master
March 5, 2024 19:55 3m 42s
Assert success in dynamic cadical [2] CI #215: Commit b272266 pushed by Lipen
March 5, 2024 19:50 3m 58s master
master
March 5, 2024 19:50 3m 58s
Remove Vec-based get_all_clauses, minimize unsafe scope CI #214: Commit 66847b6 pushed by Lipen
March 5, 2024 19:48 4m 16s master
master
March 5, 2024 19:48 4m 16s
Add iterator over all (including redundant) clauses in cadical CI #213: Commit b4a0eca pushed by Lipen
March 4, 2024 16:07 2m 56s master
master
March 4, 2024 16:07 2m 56s
Add --always-update-filter-budget flag CI #212: Commit b6695e3 pushed by Lipen
March 4, 2024 11:10 5m 47s master
master
March 4, 2024 11:10 5m 47s
Audit Dependencies Audit Dependencies #106: Scheduled
March 4, 2024 00:55 17s master
master
March 4, 2024 00:55 17s
Audit Dependencies Audit Dependencies #105: Scheduled
February 26, 2024 00:56 18s master
master
February 26, 2024 00:56 18s
Audit Dependencies Audit Dependencies #104: Scheduled
February 19, 2024 00:56 22s master
master
February 19, 2024 00:56 22s
Use simple-sat for propcheck-based pool limiting CI #211: Commit a053643 pushed by Lipen
February 12, 2024 14:18 8m 28s master
master
February 12, 2024 14:18 8m 28s
Audit Dependencies Audit Dependencies #103: Scheduled
February 12, 2024 00:55 45s master
master
February 12, 2024 00:55 45s
Add propcheck-based heuristic CI #210: Commit 2891157 pushed by Lipen
February 8, 2024 18:11 9m 44s master
master
February 8, 2024 18:11 9m 44s
Add propcheck-based heuristic Audit Dependencies #102: Commit 2891157 pushed by Lipen
February 8, 2024 18:11 20s master
master
February 8, 2024 18:11 20s
Audit Dependencies Audit Dependencies #101: Scheduled
February 5, 2024 00:57 15s master
master
February 5, 2024 00:57 15s