Skip to content

Actions: c-cube/trustee

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

missing deps for trustee-opentheory build #172: Commit 727c944 pushed by c-cube
5m 48s main
main
5m 48s
update opam files build #171: Commit 419e8e2 pushed by c-cube
3m 0s main
main
3m 0s
CI build #170: Commit eb4fc22 pushed by c-cube
2m 44s main
main
2m 44s
CI build #169: Commit 8469f70 pushed by c-cube
1m 39s main
main
1m 39s
move stuff around build #168: Commit 30dcfcc pushed by c-cube
1m 38s main
main
1m 38s
opentheory: use Trace build #167: Commit 624bf9f pushed by c-cube
4m 25s main
main
4m 25s
fixes build #166: Commit ccf7478 pushed by c-cube
4m 53s main
main
4m 53s
http build #165: Commit 518fa23 pushed by c-cube
1m 34s main
main
1m 34s
improve http build #164: Commit eadaca4 pushed by c-cube
2m 2s main
main
2m 2s
run server script build #163: Commit f892831 pushed by c-cube
1m 53s main
main
1m 53s
modernize build #162: Commit 3970fe3 pushed by c-cube
4m 53s main
main
4m 53s
format build #161: Commit 9c20666 pushed by c-cube
7m 23s main
main
7m 23s