Skip to content

Actions: olivier-aws/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor DialectFileMap to use IO.Ref for LoadedDialects (#516) Deploy Documentation #6: Commit 20e4449 pushed by olivier-aws
18m 37s main
main
18m 37s
Fix early return soundness in Laurel: replace assume false with `ex… Deploy Documentation #5: Commit 38d51cc pushed by olivier-aws
21m 56s main
main
21m 56s
Js/initial pipeline Build #1: Pull request #1 opened by olivier-aws
18m 40s js/initial_pipeline
js/initial_pipeline
18m 40s
Laurel API: precondition → preconditions, postcondition → postconditi… Deploy Documentation #4: Commit 2341cf8 pushed by olivier-aws
22m 0s main
main
22m 0s
Convert Python Specs to Lean 4.27 modules (#400) Deploy Documentation #3: Commit 821e6c8 pushed by olivier-aws
11m 41s main
main
11m 41s
Add DDM support for parsing functions that are not top-level + Strata… Deploy Documentation #2: Commit c666eba pushed by olivier-aws
12m 15s main
main
12m 15s
Add support for function declaration statements (#352) Deploy Documentation #1: Commit faa0874 pushed by olivier-aws
16m 59s main
main
16m 59s