Workflow runs · ott-lang/ott · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

13 workflow runs

13 workflow runs

wib Docker CI #35: Commit 0639ce4 pushed by PeterSewell

24s master

master

24s

placeholder for 1B semantics L1 example in Rocq Docker CI #34: Commit d0b040b pushed by PeterSewell

17s master

master

17s

Merge pull request #122 from ott-lang/prepare-0.34 Docker CI #20: Commit fc38245 pushed by palmskog

4m 49s master

master

4m 49s

Prepare for 0.34 release Docker CI #19: Pull request #122 opened by palmskog

4m 57s prepare-0.34

prepare-0.34

4m 57s

Merge pull request #121 from ott-lang/fix-coq-comments Docker CI #18: Commit 8ce440c pushed by palmskog

4m 54s master

master

4m 54s

Merge pull request #120 from ott-lang/coq-notation Docker CI #17: Commit a14906c pushed by palmskog

4m 51s master

master

4m 51s

only output plain comments in generated Coq code Docker CI #16: Pull request #121 synchronize by palmskog

4m 52s fix-coq-comments

fix-coq-comments

4m 52s

only output plain comments in generated Coq code Docker CI #15: Pull request #121 opened by palmskog

4m 58s fix-coq-comments

fix-coq-comments

4m 58s

Add coq-notation hom to replace Definition with Notation in generated Coq Docker CI #14: Pull request #120 opened by palmskog

4m 50s coq-notation

coq-notation

4m 50s

Merge pull request #119 from ott-lang/aux-tools Docker CI #13: Commit 5eddf2b pushed by palmskog

4m 43s master

master

4m 43s

move y2l to tools directory to avoid Windows aux issues Docker CI #12: Pull request #119 opened by palmskog

4m 39s aux-tools

aux-tools

4m 39s

Merge pull request #118 from ott-lang/coq-export-hint Docker CI #11: Commit 9013a7e pushed by palmskog

7m 15s master

master

7m 15s

explicit export locality for Hint commands in all generated Coq code Docker CI #10: Pull request #118 opened by palmskog

7m 36s coq-export-hint

coq-export-hint

7m 36s