Skip to content

Actions: hyperpolymath/tangle

Actions

OCaml CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml-ci.yml
37 workflow runs
37 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
refactor: migrate Markdown to AsciiDoc (#116) OCaml CI #37: Commit 6894553 pushed by hyperpolymath
57m 5s main
main
57m 5s
refactor: migrate Markdown to AsciiDoc OCaml CI #36: Pull request #116 opened by hyperpolymath
3s refactor/md-to-adoc
refactor/md-to-adoc
3s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface … OCaml CI #35: Commit c5daf0b pushed by hyperpolymath
25s main
main
25s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest OCaml CI #34: Pull request #109 opened by hyperpolymath
39m 33s chore/estate-topup
chore/estate-topup
39m 33s
Claude/hopeful fermi i xnba (#107) OCaml CI #33: Commit 609a5ca pushed by hyperpolymath
28s main
main
28s
Claude/hopeful fermi i xnba OCaml CI #32: Pull request #107 synchronize by hyperpolymath
21s claude/hopeful-fermi-iXnba
claude/hopeful-fermi-iXnba
21s
Feat/jeg complete OCaml CI #31: Pull request #105 opened by hyperpolymath
35s feat/jeg-complete
feat/jeg-complete
35s
feat(jeg): close all 17 deferred rules; report the one remaining hole… OCaml CI #30: Commit 9144818 pushed by hyperpolymath
31s main
main
31s
feat(jeg): close all 17 deferred rules; report the one remaining hole OCaml CI #29: Pull request #104 opened by hyperpolymath
23s feat/jeg-full-coverage
feat/jeg-full-coverage
23s
feat(typecheck): QTT quantity semiring — strands are linear in weave … OCaml CI #28: Commit bfe25c1 pushed by hyperpolymath
1m 40s main
main
1m 40s
feat(typecheck): QTT quantity semiring — strands are linear in weave OCaml CI #27: Pull request #103 opened by hyperpolymath
22s feat/qtt-linear-strands
feat/qtt-linear-strands
22s
feat(jtv): the add{} injection island — Harvard data expressions (#94… OCaml CI #26: Commit fadd7a1 pushed by hyperpolymath
38s main
main
38s
feat(jtv): the add{} injection island — Harvard data expressions (#94) OCaml CI #25: Pull request #102 opened by hyperpolymath
34s feat/jtv-add-block-94
feat/jtv-add-block-94
34s
fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (… OCaml CI #24: Commit c0a362f pushed by hyperpolymath
28s main
main
28s
fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (#96) OCaml CI #23: Pull request #101 opened by hyperpolymath
30s fix/twist-in-weave-96
fix/twist-in-weave-96
30s
feat(jeg): judgement evidence graph — reify derivations, and CHECK th… OCaml CI #22: Commit 0366a8e pushed by hyperpolymath
39s main
main
39s
feat(jeg): judgement evidence graph — reify derivations, and CHECK them OCaml CI #21: Pull request #100 opened by hyperpolymath
25s feat/judgement-evidence-graph
feat/judgement-evidence-graph
25s
feat(tg-11): surface syntax for epistemic types + fix a second statem… OCaml CI #20: Commit 40e917d pushed by hyperpolymath
31s main
main
31s
feat(tg-11): surface syntax for epistemic types + fix a second statement-order bug OCaml CI #19: Pull request #99 opened by hyperpolymath
24s feat/epistemic-surface-syntax
feat/epistemic-surface-syntax
24s
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… OCaml CI #18: Commit cf56397 pushed by hyperpolymath
17m 51s main
main
17m 51s
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction OCaml CI #17: Pull request #98 opened by hyperpolymath
5m 57s feat/epistemic-types
feat/epistemic-types
5m 57s
fix(corpus): run conformance programs, and correct a second false ass… OCaml CI #16: Commit 1403f2a pushed by hyperpolymath
2m 10s main
main
2m 10s
fix(corpus): run conformance programs, and correct a second false assertion OCaml CI #15: Pull request #97 opened by hyperpolymath
1m 10s fix/corpus-eval-and-false-claims
fix/corpus-eval-and-false-claims
1m 10s
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