Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,440 workflow run results
4,440 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8194: Pull request #2963 synchronize by lukaszcz
August 22, 2024 15:58 40m 27s isabelle-records
isabelle-records
August 22, 2024 15:58 40m 27s
Translate Judoc comments to Isabelle/HOL Juvix Compiler CI #8193: Pull request #2958 synchronize by lukaszcz
August 22, 2024 08:11 43m 27s isabelle-judoc
isabelle-judoc
August 22, 2024 08:11 43m 27s
Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8192: Pull request #2963 synchronize by lukaszcz
August 21, 2024 18:21 10m 15s isabelle-records
isabelle-records
August 21, 2024 18:21 10m 15s
Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8191: Pull request #2963 synchronize by lukaszcz
August 21, 2024 18:20 40s isabelle-records
isabelle-records
August 21, 2024 18:20 40s
Fix bug where highlighting is not kept when the file has a type error… Juvix Compiler CI #8190: Commit 2b4520c pushed by janmasrovira
August 21, 2024 11:42 42m 57s main
main
August 21, 2024 11:42 42m 57s
Fix bug where highlighting is not kept when the file has a type error and imports some other file cleanup caches by a branch #623: Pull request #2959 closed by janmasrovira
August 21, 2024 11:42 13s keep-highlight-on-error
keep-highlight-on-error
August 21, 2024 11:42 13s
Fix bug where highlighting is not kept when the file has a type error and imports some other file Juvix Compiler CI #8189: Pull request #2959 ready_for_review by janmasrovira
August 21, 2024 10:03 43m 38s keep-highlight-on-error
keep-highlight-on-error
August 21, 2024 10:03 43m 38s
Fix bug where highlighting is not kept when the file has a type error and imports some other file Juvix Compiler CI #8188: Pull request #2959 synchronize by janmasrovira
August 21, 2024 10:03 4s keep-highlight-on-error
keep-highlight-on-error
August 21, 2024 10:03 4s
Add do notation cleanup caches by a branch #622: Pull request #2937 closed by janmasrovira
August 21, 2024 10:01 13s 2355-add-do-notation
2355-add-do-notation
August 21, 2024 10:01 13s
Add do notation (#2937) Juvix Compiler CI #8187: Commit eb0922a pushed by janmasrovira
August 21, 2024 10:01 44m 17s main
main
August 21, 2024 10:01 44m 17s
Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8186: Pull request #2963 synchronize by lukaszcz
August 20, 2024 18:32 42m 59s isabelle-records
isabelle-records
August 20, 2024 18:32 42m 59s
Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8185: Pull request #2963 synchronize by lukaszcz
August 20, 2024 18:32 31s isabelle-records
isabelle-records
August 20, 2024 18:32 31s
Add do notation Juvix Compiler CI #8184: Pull request #2937 synchronize by paulcadman
August 20, 2024 12:29 44m 38s 2355-add-do-notation
2355-add-do-notation
August 20, 2024 12:29 44m 38s
Register builtins during scoping and report proper errors instead of … Juvix Compiler CI #8183: Commit 41450a8 pushed by paulcadman
August 20, 2024 12:23 44m 7s main
main
August 20, 2024 12:23 44m 7s
Register builtins during scoping and report proper errors instead of crashing cleanup caches by a branch #621: Pull request #2943 closed by paulcadman
August 20, 2024 12:23 14s register-builtins-scoping
register-builtins-scoping
August 20, 2024 12:23 14s
Register builtins during scoping and report proper errors instead of crashing Juvix Compiler CI #8182: Pull request #2943 synchronize by paulcadman
August 20, 2024 09:13 44m 8s register-builtins-scoping
register-builtins-scoping
August 20, 2024 09:13 44m 8s
Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8181: Pull request #2963 synchronize by lukaszcz
August 19, 2024 20:08 38m 23s isabelle-records
isabelle-records
August 19, 2024 20:08 38m 23s
Isabelle/HOL translation: records and named patterns Juvix Compiler CI #8180: Pull request #2963 opened by lukaszcz
August 19, 2024 20:07 38s isabelle-records
isabelle-records
August 19, 2024 20:07 38s
Translate Judoc comments to Isabelle/HOL Juvix Compiler CI #8179: Pull request #2958 synchronize by lukaszcz
August 19, 2024 16:41 43m 23s isabelle-judoc
isabelle-judoc
August 19, 2024 16:41 43m 23s
Isabelle/HOL translation: add 'O' and 'OO' to reserved names cleanup caches by a branch #620: Pull request #2961 closed by lukaszcz
August 19, 2024 16:39 13s isabelle-o-oo-names
isabelle-o-oo-names
August 19, 2024 16:39 13s
Isabelle/HOL translation: add 'O' and 'OO' to reversed names (#2961) Juvix Compiler CI #8178: Commit 7df1e00 pushed by lukaszcz
August 19, 2024 16:39 43m 44s main
main
August 19, 2024 16:39 43m 44s
Register builtins during scoping and report proper errors instead of crashing Juvix Compiler CI #8177: Pull request #2943 synchronize by paulcadman
August 19, 2024 14:53 43m 23s register-builtins-scoping
register-builtins-scoping
August 19, 2024 14:53 43m 23s
Isabelle/HOL translation: add 'O' and 'OO' to reserved names Juvix Compiler CI #8176: Pull request #2961 opened by lukaszcz
August 19, 2024 11:33 43m 40s isabelle-o-oo-names
isabelle-o-oo-names
August 19, 2024 11:33 43m 40s
Translate Judoc comments to Isabelle/HOL Juvix Compiler CI #8175: Pull request #2958 ready_for_review by lukaszcz
August 19, 2024 11:24 43m 7s isabelle-judoc
isabelle-judoc
August 19, 2024 11:24 43m 7s
Translate Judoc comments to Isabelle/HOL Juvix Compiler CI #8174: Pull request #2958 synchronize by lukaszcz
August 19, 2024 11:23 1m 23s isabelle-judoc
isabelle-judoc
August 19, 2024 11:23 1m 23s