Skip to content

Actions: smimram/ocaml-alg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Another test. Build #95: Commit 6f84088 pushed by smimram
October 4, 2024 15:05 1m 15s main
main
October 4, 2024 15:05 1m 15s
More CL. Build #94: Commit f9af1ea pushed by smimram
October 4, 2024 12:57 1m 4s main
main
October 4, 2024 12:57 1m 4s
Working combinatory logic. Build #93: Commit de30297 pushed by smimram
October 4, 2024 12:43 1m 8s main
main
October 4, 2024 12:43 1m 8s
Add limit to KB. Build #92: Commit 3a896a8 pushed by smimram
October 4, 2024 12:21 56s main
main
October 4, 2024 12:21 56s
injective unification. Build #91: Commit 7de322c pushed by smimram
October 3, 2024 16:07 1m 9s main
main
October 3, 2024 16:07 1m 9s
Progressing. Build #90: Commit 090fa07 pushed by smimram
October 3, 2024 15:01 1m 14s main
main
October 3, 2024 15:01 1m 14s
Fix generation. Build #89: Commit 992b90f pushed by smimram
October 3, 2024 14:34 56s main
main
October 3, 2024 14:34 56s
Tao's example. Build #88: Commit 2637622 pushed by smimram
October 1, 2024 08:50 1m 5s main
main
October 1, 2024 08:50 1m 5s
Need odoc. Build #87: Commit c861796 pushed by smimram
September 27, 2024 13:47 52s main
main
September 27, 2024 13:47 52s
Need js-of-ocaml. Build #86: Commit 4c8cfce pushed by smimram
September 27, 2024 13:46 47s main
main
September 27, 2024 13:46 47s
Typo. Build #85: Commit f04f5fa pushed by smimram
September 27, 2024 13:45 34s main
main
September 27, 2024 13:45 34s
Don't use opam. Build #84: Commit 68b828e pushed by smimram
September 27, 2024 13:45 Startup failure main
main
September 27, 2024 13:45 Startup failure
STL2. Build #83: Commit c981bee pushed by smimram
September 19, 2024 09:15 5m 47s main
main
September 19, 2024 09:15 5m 47s
Add to tests. Build #82: Commit ef72762 pushed by smimram
September 12, 2024 09:08 5m 30s main
main
September 12, 2024 09:08 5m 30s
stl example. Build #81: Commit 8a6eb6c pushed by smimram
September 12, 2024 08:22 8m 36s main
main
September 12, 2024 08:22 8m 36s
Another generator. Build #80: Commit 2ba988d pushed by smimram
August 27, 2024 08:03 5m 19s main
main
August 27, 2024 08:03 5m 19s
Braids. Build #79: Commit c278561 pushed by smimram
August 26, 2024 16:40 8m 38s main
main
August 26, 2024 16:40 8m 38s
Doc. Build #78: Commit 3905b52 pushed by smimram
March 13, 2024 15:50 8m 44s main
main
March 13, 2024 15:50 8m 44s
ol. Build #77: Commit 024fce9 pushed by smimram
February 23, 2024 10:29 5m 26s main
main
February 23, 2024 10:29 5m 26s
Correct display. Build #76: Commit 77baf8e pushed by smimram
February 22, 2024 11:31 5m 18s main
main
February 22, 2024 11:31 5m 18s
Show coherence cells. Build #75: Commit 3405bec pushed by smimram
February 22, 2024 11:29 5m 8s main
main
February 22, 2024 11:29 5m 8s
Add here too. Build #74: Commit 81e5056 pushed by smimram
February 22, 2024 11:18 5m 6s main
main
February 22, 2024 11:18 5m 6s
Add dihedral group. Build #73: Commit a735a03 pushed by smimram
February 22, 2024 11:16 5m 25s main
main
February 22, 2024 11:16 5m 25s
Define zigzags. Build #72: Commit 4cad226 pushed by smimram
February 22, 2024 11:06 5m 11s main
main
February 22, 2024 11:06 5m 11s
Rule names. Build #71: Commit fe2246f pushed by smimram
February 22, 2024 10:21 5m 17s main
main
February 22, 2024 10:21 5m 17s