Skip to content

Actions: hyperpolymath/tangle

Actions

OCaml CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml-ci.yml
14 workflow runs
14 workflow runs

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
feat(#92): widths need not agree for ==, and match arms join on wid… OCaml CI #14: Commit 478857f pushed by hyperpolymath
2m 13s main
main
2m 13s
feat(#92): widths need not agree for ==, and match arms join on width OCaml CI #13: Pull request #95 opened by hyperpolymath
27s feat/width-widening-92
feat/width-widening-92
27s
feat(parser): weave is an expression, not only a statement (#88 B) (#93) OCaml CI #12: Commit 1223ea6 pushed by hyperpolymath
41s main
main
41s
feat(parser): weave is an expression, not only a statement (#88 B) OCaml CI #11: Pull request #93 opened by hyperpolymath
32s feat/parser-weave-add-88
feat/parser-weave-add-88
32s
fix(typecheck): infer recursive functions' return type by fixpoint (#… OCaml CI #10: Commit 4e6903f pushed by hyperpolymath
39s main
main
39s
fix(typecheck): infer recursive functions' return type by fixpoint (#88) OCaml CI #9: Pull request #91 opened by hyperpolymath
32s feat/corpus-typing-88
feat/corpus-typing-88
32s
fix(rsr): finish template instantiation + enforce it (#56) (#90) OCaml CI #8: Commit b53fc0e pushed by hyperpolymath
22s main
main
22s
fix(rsr): finish template instantiation + enforce it (#56) OCaml CI #7: Pull request #90 synchronize by hyperpolymath
36s fix/rsr-instantiation-56
fix/rsr-instantiation-56
36s
fix(rsr): finish template instantiation + enforce it (#56) OCaml CI #6: Pull request #90 opened by hyperpolymath
31s fix/rsr-instantiation-56
fix/rsr-instantiation-56
31s
feat(ci): gate the runnable corpus — examples/ and conformance/ (#89) OCaml CI #5: Commit 12a32ce pushed by hyperpolymath
27s main
main
27s
feat(ci): gate the runnable corpus — examples/ and conformance/ OCaml CI #4: Pull request #89 opened by hyperpolymath
40s feat/gate-conformance-examples
feat/gate-conformance-examples
40s
feat(tg-7): == on braids decides braid-group equivalence (#50 rulin… OCaml CI #3: Commit f489211 pushed by hyperpolymath
39s main
main
39s
feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) OCaml CI #2: Pull request #87 synchronize by hyperpolymath
29s feat/tg7-braid-equality
feat/tg7-braid-equality
29s
feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) OCaml CI #1: Pull request #87 opened by hyperpolymath
37s feat/tg7-braid-equality
feat/tg7-braid-equality
37s