Skip to content

Actions: tryingsomestuff/Minic

Actions

Build + Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update version 3.45
Build + Coverage #195: Commit 6064881 pushed by tryingsomestuff
16m 42s master
update submodule
Build + Coverage #194: Commit ee2da49 pushed by tryingsomestuff
16m 10s master
refactor extension/reduction
Build + Coverage #193: Commit d7498cd pushed by tryingsomestuff
16m 5s master
better coverage
Build + Coverage #192: Commit dbebf8a pushed by tryingsomestuff
16m 25s master
fix coverage
Build + Coverage #191: Commit 51e8d0d pushed by tryingsomestuff
15m 39s master
fix coverage
Build + Coverage #190: Commit 944b9f6 pushed by tryingsomestuff
15m 35s master
more coverage
Build + Coverage #189: Commit 3e505c8 pushed by tryingsomestuff
15m 51s master
better coverage
Build + Coverage #188: Commit b3fb7c0 pushed by tryingsomestuff
22m 59s master
portability
Build + Coverage #187: Commit 06c02c4 pushed by tryingsomestuff
13m 42s master
debug in docov
Build + Coverage #185: Commit c044926 pushed by tryingsomestuff
24m 45s master
update submodule
Build + Coverage #180: Commit 953375f pushed by tryingsomestuff
10m 0s master
submodules via ssh
Build + Coverage #178: Commit 1437040 pushed by tryingsomestuff
9m 26s master
update version
Build + Coverage #177: Commit c7485dc pushed by tryingsomestuff
12m 39s master
increase MAX_PLY
Build + Coverage #176: Commit 2f6105e pushed by tryingsomestuff
12m 38s master
Update README.md
Build + Coverage #175: Commit 808ef3d pushed by tryingsomestuff
12m 47s master
update version
Build + Coverage #174: Commit f27e1d1 pushed by tryingsomestuff
12m 19s master
increase max threads
Build + Coverage #173: Commit 2997ea1 pushed by tryingsomestuff
13m 23s master