Skip to content

Actions: meelgroup/approxmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move to class simplifiedcnf nix build #56: Commit 78793f2 pushed by msoos
51s synth
synth
51s
Update cadiback and cadical branches (#70) nix build #55: Commit 6213fb2 pushed by msoos
1m 19s master
master
1m 19s
Update cadiback and cadical branches build #321: Pull request #70 opened by msoos
11m 57s update-branches
update-branches
11m 57s
Update cadiback and cadical branches nix build #54: Pull request #70 opened by msoos
2m 11s update-branches
update-branches
2m 11s
Update cadiback and cadical branches nix build #53: Commit 47496a9 pushed by msoos
2m 15s update-branches
update-branches
2m 15s
Merge branch 'master' into appmc7 nix build #52: Commit f2f9f3d pushed by msoos
1m 17s appmc7-mine
appmc7-mine
1m 17s
Add: AppMC::get_solver() implementation (#69) nix build #51: Commit 4f2f7cf pushed by msoos
1m 16s master
master
1m 16s
Fixing small issues (#68) nix build #49: Commit 2887876 pushed by msoos
1m 19s master
master
1m 19s
Fixing small issues build #319: Pull request #68 synchronize by msoos
13m 50s fixing-issues
fixing-issues
13m 50s
Fixing small issues nix build #48: Pull request #68 synchronize by msoos
1m 16s fixing-issues
fixing-issues
1m 16s
Fixing small asserts, typos nix build #47: Commit 9b8d622 pushed by msoos
1m 17s fixing-issues
fixing-issues
1m 17s
Fixing small issues build #318: Pull request #68 synchronize by msoos
1h 5m 31s fixing-issues
fixing-issues
1h 5m 31s
Fixing small issues nix build #46: Pull request #68 synchronize by msoos
1m 19s fixing-issues
fixing-issues
1m 19s
Fixing verb_print nix build #45: Commit 949587e pushed by msoos
1m 18s fixing-issues
fixing-issues
1m 18s
Fixing small issues nix build #44: Pull request #68 synchronize by msoos
42s fixing-issues
fixing-issues
42s
Fixing small issues build #317: Pull request #68 synchronize by msoos
31m 9s fixing-issues
fixing-issues
31m 9s
Fixing verb_print nix build #43: Commit e261758 pushed by msoos
45s fixing-issues
fixing-issues
45s
Fixing small issues nix build #42: Pull request #68 synchronize by msoos
1m 19s fixing-issues
fixing-issues
1m 19s
Fixing small issues build #316: Pull request #68 synchronize by msoos
14m 15s fixing-issues
fixing-issues
14m 15s
More defensive coding nix build #41: Commit ebc2094 pushed by msoos
1m 18s fixing-issues
fixing-issues
1m 18s
Fixing small issues build #315: Pull request #68 opened by msoos
29m 47s fixing-issues
fixing-issues
29m 47s
Fixing small issues nix build #40: Pull request #68 opened by msoos
1m 29s fixing-issues
fixing-issues
1m 29s
Use unique_ptr nix build #39: Commit f4ecb3e pushed by msoos
1m 28s fixing-issues
fixing-issues
1m 28s
Cleanup nix build #38: Commit 03165c2 pushed by msoos
1m 19s fixing-issues
fixing-issues
1m 19s
Update readme's structure (#67) nix build #37: Commit ddd8b7f pushed by msoos
36s master
master
36s