Skip to content

Actions: Lipen/sat-nexus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unnecessary mut Audit Dependencies #125: Commit 3a4f865 pushed by Lipen
July 3, 2024 17:23 17s master
master
July 3, 2024 17:23 17s
Remove unnecessary mut CI #253: Commit 3a4f865 pushed by Lipen
July 3, 2024 17:23 7m 36s master
master
July 3, 2024 17:23 7m 36s
Audit Dependencies Audit Dependencies #124: Scheduled
July 1, 2024 01:10 22s master
master
July 1, 2024 01:10 22s
Audit Dependencies Audit Dependencies #123: Scheduled
June 24, 2024 01:03 14s master
master
June 24, 2024 01:03 14s
Audit Dependencies Audit Dependencies #122: Scheduled
June 17, 2024 01:04 17s master
master
June 17, 2024 01:04 17s
Audit Dependencies Audit Dependencies #121: Scheduled
June 10, 2024 01:03 15s master
master
June 10, 2024 01:03 15s
Audit Dependencies Audit Dependencies #120: Scheduled
June 3, 2024 01:02 15s master
master
June 3, 2024 01:02 15s
Audit Dependencies Audit Dependencies #119: Scheduled
May 27, 2024 01:01 21s master
master
May 27, 2024 01:01 21s
Audit Dependencies Audit Dependencies #118: Scheduled
May 20, 2024 01:00 18s master
master
May 20, 2024 01:00 18s
Audit Dependencies Audit Dependencies #117: Scheduled
May 13, 2024 01:00 16s master
master
May 13, 2024 01:00 16s
Audit Dependencies Audit Dependencies #116: Scheduled
May 6, 2024 00:59 21s master
master
May 6, 2024 00:59 21s
Audit Dependencies Audit Dependencies #115: Scheduled
April 29, 2024 00:58 22s master
master
April 29, 2024 00:58 22s
Audit Dependencies Audit Dependencies #114: Scheduled
April 22, 2024 00:58 14s master
master
April 22, 2024 00:58 14s
Audit Dependencies Audit Dependencies #113: Scheduled
April 15, 2024 03:18 18s master
master
April 15, 2024 03:18 18s
Audit Dependencies Audit Dependencies #112: Scheduled
April 8, 2024 00:57 24s master
master
April 8, 2024 00:57 24s
Just solve with cadical when strong backdoor is found CI #252: Commit 16dd4d3 pushed by Lipen
April 4, 2024 09:29 6m 44s master
master
April 4, 2024 09:29 6m 44s
Fix Cadical::val CI #251: Commit 5aaaf15 pushed by Lipen
April 1, 2024 21:26 6m 23s master
master
April 1, 2024 21:26 6m 23s
Fix model extraction. Do not backtrack after SAT CI #250: Commit 60e5fe4 pushed by Lipen
April 1, 2024 17:51 7m 41s master
master
April 1, 2024 17:51 7m 41s
Use add_clause instead of add_derived_clause CI #249: Commit 872c89c pushed by Lipen
April 1, 2024 15:18 8m 23s master
master
April 1, 2024 15:18 8m 23s
Audit Dependencies Audit Dependencies #111: Scheduled
April 1, 2024 01:01 19s master
master
April 1, 2024 01:01 19s
Always update budget for filtering (remove option) CI #248: Commit 15d11f1 pushed by Lipen
March 29, 2024 16:29 8m 5s master
master
March 29, 2024 16:29 8m 5s
Support cores in sorted filtering CI #247: Commit 84417fb pushed by Lipen
March 25, 2024 14:47 6m 12s master
master
March 25, 2024 14:47 6m 12s
Print ternary in separate CI #246: Commit 3f2b190 pushed by Lipen
March 25, 2024 14:16 6m 17s master
master
March 25, 2024 14:16 6m 17s
Fix ccadical_failed usage in examples CI #245: Commit 7402c5f pushed by Lipen
March 25, 2024 11:53 8m 4s master
master
March 25, 2024 11:53 8m 4s
Audit Dependencies Audit Dependencies #110: Scheduled
March 25, 2024 00:57 20s master
master
March 25, 2024 00:57 20s