Skip to content

Actions: anoma/juvix

Actions

Juvix Compiler CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4,687 workflow runs
4,687 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Inline non-recursive functions with only one call site Juvix Compiler CI #9269: Pull request #3204 opened by lukaszcz
November 29, 2024 18:44 55m 11s inline-single-call-site
inline-single-call-site
November 29, 2024 18:44 55m 11s
Hoisting of loop-invariant subexpressions Juvix Compiler CI #9268: Pull request #3195 synchronize by lukaszcz
November 29, 2024 18:37 1h 6m 54s loop-invariant-code-motion
loop-invariant-code-motion
November 29, 2024 18:37 1h 6m 54s
Fix aliases to non-recursive names Juvix Compiler CI #9267: Pull request #3203 synchronize by lukaszcz
November 29, 2024 18:28 1h 8m 19s fix-non-recursive-aliases
fix-non-recursive-aliases
November 29, 2024 18:28 1h 8m 19s
Make FunctionLhs a field of FunctionDef Juvix Compiler CI #9266: Pull request #3202 synchronize by paulcadman
November 29, 2024 18:10 1h 8m 20s typesig
typesig
November 29, 2024 18:10 1h 8m 20s
Add juvix dev anoma add-transaction command (#3193) Juvix Compiler CI #9265: Commit 640d049 pushed by paulcadman
November 29, 2024 18:09 1h 6m 36s main
main
November 29, 2024 18:09 1h 6m 36s
Fix aliases to non-recursive names Juvix Compiler CI #9264: Pull request #3203 synchronize by lukaszcz
November 29, 2024 17:53 35m 6s fix-non-recursive-aliases
fix-non-recursive-aliases
November 29, 2024 17:53 35m 6s
Hoisting of loop-invariant subexpressions Juvix Compiler CI #9263: Pull request #3195 synchronize by lukaszcz
November 29, 2024 17:36 1h 1m 6s loop-invariant-code-motion
loop-invariant-code-motion
November 29, 2024 17:36 1h 1m 6s
Isabelle/HOL translation: recursive translation of the whole project Juvix Compiler CI #9262: Pull request #2977 synchronize by lukaszcz
November 29, 2024 17:35 1h 6m 56s isabelle-recursive-project
isabelle-recursive-project
November 29, 2024 17:35 1h 6m 56s
Fix aliases to non-recursive names Juvix Compiler CI #9261: Pull request #3203 synchronize by lukaszcz
November 29, 2024 17:26 26m 35s fix-non-recursive-aliases
fix-non-recursive-aliases
November 29, 2024 17:26 26m 35s
Fix aliases to non-recursive names Juvix Compiler CI #9260: Pull request #3203 opened by lukaszcz
November 29, 2024 17:16 10m 41s fix-non-recursive-aliases
fix-non-recursive-aliases
November 29, 2024 17:16 10m 41s
Make FunctionLhs a field of FunctionDef Juvix Compiler CI #9259: Pull request #3202 ready_for_review by janmasrovira
November 29, 2024 17:09 1h 0m 34s typesig
typesig
November 29, 2024 17:09 1h 0m 34s
Make FunctionLhs a field of FunctionDef Juvix Compiler CI #9258: Pull request #3202 synchronize by janmasrovira
November 29, 2024 17:08 1m 36s typesig
typesig
November 29, 2024 17:08 1m 36s
Make FunctionLhs a field of FunctionDef Juvix Compiler CI #9257: Pull request #3202 synchronize by janmasrovira
November 29, 2024 16:59 8m 59s typesig
typesig
November 29, 2024 16:59 8m 59s
Make FunctionLhs a field of FunctionDef Juvix Compiler CI #9256: Pull request #3202 opened by janmasrovira
November 29, 2024 16:59 42s typesig
typesig
November 29, 2024 16:59 42s
Add juvix dev anoma add-transaction command Juvix Compiler CI #9255: Pull request #3193 synchronize by paulcadman
November 29, 2024 16:40 1h 6m 22s anoma-add-transaction
anoma-add-transaction
November 29, 2024 16:40 1h 6m 22s
Fix juvix clean --global (#3200) Juvix Compiler CI #9254: Commit 923a019 pushed by paulcadman
November 29, 2024 16:40 1h 5m 16s main
main
November 29, 2024 16:40 1h 5m 16s
Add juvix dev anoma add-transaction command Juvix Compiler CI #9253: Pull request #3193 synchronize by paulcadman
November 29, 2024 16:01 39m 23s anoma-add-transaction
anoma-add-transaction
November 29, 2024 16:01 39m 23s
Isabelle/HOL translation: fix creation of polymorphic records Juvix Compiler CI #9252: Pull request #3051 synchronize by lukaszcz
November 29, 2024 15:49 1h 14m 20s fix-implicit-record-args
fix-implicit-record-args
November 29, 2024 15:49 1h 14m 20s
Isabelle/HOL translation: fix undefined identifiers due to syntax alias Juvix Compiler CI #9251: Pull request #3050 synchronize by lukaszcz
November 29, 2024 15:43 1h 17m 38s isabelle-alias-fix
isabelle-alias-fix
November 29, 2024 15:43 1h 17m 38s
Isabelle/HOL translation: fix nested pattern matching Juvix Compiler CI #9250: Pull request #3049 synchronize by lukaszcz
November 29, 2024 15:36 1h 13m 50s isabelle-records-fix
isabelle-records-fix
November 29, 2024 15:36 1h 13m 50s
Fix juvix clean --global Juvix Compiler CI #9249: Pull request #3200 synchronize by lukaszcz
November 29, 2024 15:15 1h 10m 27s fix-clean
fix-clean
November 29, 2024 15:15 1h 10m 27s
Fix function clause printing (#3199) Juvix Compiler CI #9248: Commit c81b885 pushed by janmasrovira
November 29, 2024 15:13 1h 6m 52s main
main
November 29, 2024 15:13 1h 6m 52s
Isabelle/HOL translation: recursive translation of the whole project Juvix Compiler CI #9247: Pull request #2977 synchronize by lukaszcz
November 29, 2024 15:11 1h 28m 49s isabelle-recursive-project
isabelle-recursive-project
November 29, 2024 15:11 1h 28m 49s
Isabelle/HOL translation: recursive translation of the whole project Juvix Compiler CI #9246: Pull request #2977 synchronize by lukaszcz
November 29, 2024 15:05 6m 23s isabelle-recursive-project
isabelle-recursive-project
November 29, 2024 15:05 6m 23s
Add juvix dev anoma add-transaction command Juvix Compiler CI #9245: Pull request #3193 synchronize by paulcadman
November 29, 2024 14:41 1h 7m 58s anoma-add-transaction
anoma-add-transaction
November 29, 2024 14:41 1h 7m 58s