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

Move used vars back to pool on reset CI #206: Commit 51e09be pushed by Lipen
January 15, 2024 22:20 7m 31s master
master
January 15, 2024 22:20 7m 31s
Reorder options CI #205: Commit 360ed1a pushed by Lipen
January 15, 2024 22:12 9m 4s master
master
January 15, 2024 22:12 9m 4s
Use clause_to_external CI #204: Commit 70626c2 pushed by Lipen
January 15, 2024 22:10 7m 42s master
master
January 15, 2024 22:10 7m 42s
Call Cadical in inner loop CI #203: Commit aa882dc pushed by Lipen
January 15, 2024 16:18 7m 17s master
master
January 15, 2024 16:18 7m 17s
Compute only neighbors [2] CI #202: Commit e8b301d pushed by Lipen
January 15, 2024 08:35 8m 4s master
master
January 15, 2024 08:35 8m 4s
Fix loop condition CI #201: Commit 0b51b2c pushed by Lipen
January 15, 2024 07:52 7m 53s master
master
January 15, 2024 07:52 7m 53s
Compute only neighbors CI #200: Commit 48a4bfe pushed by Lipen
January 15, 2024 06:59 8m 4s master
master
January 15, 2024 06:59 8m 4s
Audit Dependencies Audit Dependencies #97: Scheduled
January 15, 2024 01:01 18s master
master
January 15, 2024 01:01 18s
Add lemmas from unsat cores, update filtering, remove debug messages CI #199: Commit e02b33f pushed by Lipen
January 14, 2024 20:20 7m 39s master
master
January 14, 2024 20:20 7m 39s
Rc-based implementation CI #198: Commit e11da46 pushed by Lipen
January 14, 2024 16:03 8m 29s master
master
January 14, 2024 16:03 8m 29s
Improve sorted filtering CI #197: Commit 75ea99f pushed by Lipen
January 14, 2024 15:02 7m 49s master
master
January 14, 2024 15:02 7m 49s
Add interleave-aggregate binary CI #196: Commit 7edc8b1 pushed by Lipen
January 14, 2024 10:49 8m 22s master
master
January 14, 2024 10:49 8m 22s
Fix imports of traits CI #195: Commit 90ecf49 pushed by Lipen
January 13, 2024 16:49 7m 3s master
master
January 13, 2024 16:49 7m 3s
Disable parallel derivation CI #194: Commit b24063a pushed by Lipen
January 13, 2024 16:41 4m 24s master
master
January 13, 2024 16:41 4m 24s
Stop filtering after 0-score CI #193: Commit 2b55e55 pushed by Lipen
January 13, 2024 16:34 7m 51s master
master
January 13, 2024 16:34 7m 51s
Add --derive-ternary flag CI #192: Commit 1a8ad9c pushed by Lipen
January 13, 2024 11:40 7m 19s master
master
January 13, 2024 11:40 7m 19s
Add --only-preprocess flag CI #191: Commit e724127 pushed by Lipen
January 12, 2024 19:23 7m 33s master
master
January 12, 2024 19:23 7m 33s
Fix if CI #190: Commit 6e0c514 pushed by Lipen
January 12, 2024 13:34 7m 43s master
master
January 12, 2024 13:34 7m 43s
Bump some cubes CI #189: Commit e481cbe pushed by Lipen
January 12, 2024 13:29 7m 14s master
master
January 12, 2024 13:29 7m 14s
Use OrderedFloat CI #188: Commit 9f3c6f6 pushed by Lipen
January 12, 2024 13:21 9m 14s master
master
January 12, 2024 13:21 9m 14s
Replace sort with max CI #187: Commit 907da4a pushed by Lipen
January 12, 2024 13:18 3m 51s master
master
January 12, 2024 13:18 3m 51s
Update interleave CI #186: Commit 93a764e pushed by Lipen
January 12, 2024 12:37 7m 57s master
master
January 12, 2024 12:37 7m 57s
Update interleave CI #185: Commit f52fa5d pushed by Lipen
January 12, 2024 11:20 7m 8s master
master
January 12, 2024 11:20 7m 8s
Add sorted filtering CI #184: Commit 767b576 pushed by Lipen
January 11, 2024 18:07 10m 57s master
master
January 11, 2024 18:07 10m 57s
Add sorted filtering Audit Dependencies #96: Commit 767b576 pushed by Lipen
January 11, 2024 18:07 22s master
master
January 11, 2024 18:07 22s