Skip to content

Actions: smimram/ocaml-alg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix doc build. Build #121: Commit 46532c6 pushed by smimram
1m 6s main
main
1m 6s
Rebuild. Build #120: Commit d9af3a4 pushed by smimram
42s main
main
42s
Use console instead of Firebug. Build #118: Commit 0ddfd9a pushed by smimram
51s main
main
51s
Precubical category. Build #117: Commit 6997112 pushed by smimram
2m 23s main
main
2m 23s
Opposite category. Build #116: Commit 23090ef pushed by smimram
2m 20s main
main
2m 20s
Theta. Build #115: Commit af728f0 pushed by smimram
1m 22s main
main
1m 22s
Remove for now. Build #114: Commit a6fccd2 pushed by smimram
2m 4s main
main
2m 4s
A bit more. Build #113: Commit bc42647 pushed by smimram
3m 13s main
main
3m 13s
Interval map. Build #112: Commit 08b9b4c pushed by smimram
2m 33s main
main
2m 33s
from_fun. Build #111: Commit 880b1c8 pushed by smimram
2m 20s main
main
2m 20s
Application. Build #110: Commit 48c5a77 pushed by smimram
2m 22s main
main
2m 22s
index -> find_index. Build #109: Commit f5170e1 pushed by smimram
2m 37s main
main
2m 37s
Backward compat. Build #108: Commit 3aac36c pushed by smimram
2m 19s main
main
2m 19s
More tests. Build #107: Commit c2bccfe pushed by smimram
2m 52s main
main
2m 52s
Get started with tests. Build #106: Commit 8250b14 pushed by smimram
1m 21s main
main
1m 21s