Skip to content

Actions: msoos/cryptominisat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing missing header .github/workflows/windows-static-binary.yaml #101: Commit 0b26a8f pushed by msoos
3m 41s working-on-synth
working-on-synth
3m 41s
Update nix .github/workflows/windows-static-binary.yaml #100: Commit ec56ff2 pushed by msoos
4m 1s working-on-synth
working-on-synth
4m 1s
Fixing sigFPE bug .github/workflows/windows-static-binary.yaml #99: Commit 3795a20 pushed by msoos
3m 28s working-on-synth
working-on-synth
3m 28s
Better stats printing for oracle .github/workflows/windows-static-binary.yaml #98: Commit b06e291 pushed by msoos
3m 51s working-on-synth
working-on-synth
3m 51s
Ooops fixing .github/workflows/windows-static-binary.yaml #97: Commit 89f93df pushed by msoos
3m 53s working-on-synth
working-on-synth
3m 53s
Fixing printing .github/workflows/windows-static-binary.yaml #96: Commit 11a1359 pushed by msoos
3m 41s working-on-synth
working-on-synth
3m 41s
Better printing .github/workflows/windows-static-binary.yaml #95: Commit 611e34c pushed by msoos
3m 48s working-on-synth
working-on-synth
3m 48s
Less printing .github/workflows/windows-static-binary.yaml #94: Commit 236c4df pushed by msoos
3m 45s working-on-synth
working-on-synth
3m 45s
More sophisticated cache .github/workflows/windows-static-binary.yaml #93: Commit 322a466 pushed by msoos
3m 25s working-on-synth
working-on-synth
3m 25s
Somewhat refined measurement of cache usage in Oracle .github/workflows/windows-static-binary.yaml #92: Commit b926ec9 pushed by msoos
3m 26s working-on-synth
working-on-synth
3m 26s
Speed up cache usage .github/workflows/windows-static-binary.yaml #91: Commit 339ed7e pushed by msoos
3m 45s working-on-synth
working-on-synth
3m 45s
Allow non-stop bve for synthesis .github/workflows/windows-static-binary.yaml #90: Commit e6e3e9c pushed by msoos
3m 41s working-on-synth
working-on-synth
3m 41s
Make CCNR more hidden .github/workflows/windows-static-binary.yaml #89: Commit b0459c0 pushed by msoos
3m 43s working-on-synth
working-on-synth
3m 43s
Less noise .github/workflows/windows-static-binary.yaml #88: Commit 8b92740 pushed by msoos
3m 26s working-on-synth
working-on-synth
3m 26s
Less noise, fixing assert check that was wrong .github/workflows/windows-static-binary.yaml #87: Commit 5506230 pushed by msoos
3m 21s working-on-synth
working-on-synth
3m 21s
More checking .github/workflows/windows-static-binary.yaml #86: Commit f9b2f40 pushed by msoos
3m 26s working-on-synth
working-on-synth
3m 26s
Update this nonsense .github/workflows/windows-static-binary.yaml #85: Commit f9d7bfb pushed by msoos
3m 30s working-on-synth
working-on-synth
3m 30s
Update .github/workflows/windows-static-binary.yaml #84: Commit 2cf344b pushed by msoos
3m 32s working-on-synth
working-on-synth
3m 32s
Update .github/workflows/windows-static-binary.yaml #83: Commit 5c07eab pushed by msoos
3m 38s working-on-synth
working-on-synth
3m 38s
Don't build on push .github/workflows/windows-static-binary.yaml #82: Commit 1da1a6e pushed by msoos
3m 18s working-on-synth
working-on-synth
3m 18s
CLeaner code .github/workflows/windows-static-binary.yaml #81: Commit 314d1c4 pushed by msoos
3m 17s working-on-synth
working-on-synth
3m 17s
CLeaner code nix build #48: Commit 314d1c4 pushed by msoos
1m 37s working-on-synth
working-on-synth
1m 37s
CLeaner code .github/workflows/windows-static-binary.yaml #80: Commit a70add7 pushed by msoos
3m 33s working-on-synth
working-on-synth
3m 33s
CLeaner code nix build #47: Commit a70add7 pushed by msoos
1m 3s working-on-synth
working-on-synth
1m 3s
Adding an assert for synth nix build #46: Commit 8de22d7 pushed by msoos
1m 37s working-on-synth
working-on-synth
1m 37s