Skip to content

Actions: anoma/juvix

Actions

Juvix Compiler CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,642 workflow runs
2,642 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: bump actions/checkout to v5 Juvix Compiler CI #10418: Pull request #3429 opened by rejected-l
August 12, 2025 16:53 Action required rejected-l:main
rejected-l:main
August 12, 2025 16:53 Action required
Update stdlib to 0.12.1 Juvix Compiler CI #10417: Pull request #3428 synchronize by lukaszcz
June 10, 2025 17:03 1h 49m 30s update-stlib-v0.12.1
update-stlib-v0.12.1
June 10, 2025 17:03 1h 49m 30s
Update stdlib to 0.12.1 Juvix Compiler CI #10416: Pull request #3428 opened by lukaszcz
June 10, 2025 07:37 1h 22m 16s update-stlib-v0.12.1
update-stlib-v0.12.1
June 10, 2025 07:37 1h 22m 16s
Foreign Function Interface Juvix Compiler CI #10415: Pull request #3420 synchronize by lukaszcz
June 6, 2025 11:41 1h 41m 31s ffi
ffi
June 6, 2025 11:41 1h 41m 31s
Isabelle/HOL translation: fix creation of polymorphic records (#3051) Juvix Compiler CI #10414: Commit a54e209 pushed by lukaszcz
June 6, 2025 11:40 1h 42m 22s main
main
June 6, 2025 11:40 1h 42m 22s
Isabelle/HOL translation: fix creation of polymorphic records Juvix Compiler CI #10413: Pull request #3051 synchronize by lukaszcz
June 6, 2025 09:41 1h 42m 52s fix-implicit-record-args
fix-implicit-record-args
June 6, 2025 09:41 1h 42m 52s
Isabelle/HOL translation: fix creation of polymorphic records Juvix Compiler CI #10412: Pull request #3051 synchronize by lukaszcz
June 6, 2025 09:36 4m 45s fix-implicit-record-args
fix-implicit-record-args
June 6, 2025 09:36 4m 45s
Isabelle/HOL translation: fix undefined identifiers due to `syntax al… Juvix Compiler CI #10411: Commit 3dc1789 pushed by lukaszcz
June 6, 2025 08:15 1h 43m 19s main
main
June 6, 2025 08:15 1h 43m 19s
Isabelle/HOL translation: fix undefined identifiers due to syntax alias Juvix Compiler CI #10410: Pull request #3050 synchronize by lukaszcz
June 5, 2025 18:08 1h 53m 30s isabelle-alias-fix
isabelle-alias-fix
June 5, 2025 18:08 1h 53m 30s
Improve readability of dependency directories (#3426) Juvix Compiler CI #10409: Commit adbb52e pushed by lukaszcz
June 5, 2025 18:07 20m 2s main
main
June 5, 2025 18:07 20m 2s
Isabelle/HOL translation: fix undefined identifiers due to syntax alias Juvix Compiler CI #10408: Pull request #3050 synchronize by lukaszcz
June 5, 2025 17:56 12m 37s isabelle-alias-fix
isabelle-alias-fix
June 5, 2025 17:56 12m 37s
Isabelle/HOL translation: fix undefined identifiers due to syntax alias Juvix Compiler CI #10407: Pull request #3050 synchronize by lukaszcz
June 5, 2025 13:43 1h 27m 45s isabelle-alias-fix
isabelle-alias-fix
June 5, 2025 13:43 1h 27m 45s
Improve readability of dependency directories Juvix Compiler CI #10406: Pull request #3426 ready_for_review by lukaszcz
June 5, 2025 13:08 1h 48m 7s readable-dependency-dir
readable-dependency-dir
June 5, 2025 13:08 1h 48m 7s
Improve readability of dependency directories Juvix Compiler CI #10405: Pull request #3426 opened by janmasrovira
June 5, 2025 11:14 1h 45m 55s readable-dependency-dir
readable-dependency-dir
June 5, 2025 11:14 1h 45m 55s
Isabelle/HOL translation: fix nested pattern matching (#3049) Juvix Compiler CI #10404: Commit bdd4c80 pushed by janmasrovira
June 5, 2025 07:25 1h 46m 17s main
main
June 5, 2025 07:25 1h 46m 17s
Isabelle/HOL translation: fix nested pattern matching Juvix Compiler CI #10403: Pull request #3049 synchronize by lukaszcz
June 4, 2025 10:28 1h 43m 27s isabelle-records-fix
isabelle-records-fix
June 4, 2025 10:28 1h 43m 27s
Use numeric version and commit to compute build dir (#3424) Juvix Compiler CI #10402: Commit 037865f pushed by lukaszcz
June 4, 2025 10:28 1h 45m 29s main
main
June 4, 2025 10:28 1h 45m 29s
Use numeric version and commit to compute build dir Juvix Compiler CI #10401: Pull request #3424 ready_for_review by janmasrovira
June 4, 2025 08:03 1h 46m 50s 3416-use-precise-juvix-version-for-build-subdirectories
3416-use-precise-juvix-version-for-build-subdirectories
June 4, 2025 08:03 1h 46m 50s
Use numeric version and commit to compute build dir Juvix Compiler CI #10400: Pull request #3424 synchronize by janmasrovira
June 4, 2025 07:55 7m 41s 3416-use-precise-juvix-version-for-build-subdirectories
3416-use-precise-juvix-version-for-build-subdirectories
June 4, 2025 07:55 7m 41s
Use numeric version and commit to compute build dir Juvix Compiler CI #10399: Pull request #3424 synchronize by janmasrovira
June 4, 2025 05:35 1h 47m 15s 3416-use-precise-juvix-version-for-build-subdirectories
3416-use-precise-juvix-version-for-build-subdirectories
June 4, 2025 05:35 1h 47m 15s
Use numeric version and commit to compute build dir Juvix Compiler CI #10398: Pull request #3424 synchronize by janmasrovira
June 4, 2025 05:34 1m 28s 3416-use-precise-juvix-version-for-build-subdirectories
3416-use-precise-juvix-version-for-build-subdirectories
June 4, 2025 05:34 1m 28s
Use numeric version and commit to compute build dir Juvix Compiler CI #10397: Pull request #3424 opened by janmasrovira
June 3, 2025 18:00 1h 41m 2s 3416-use-precise-juvix-version-for-build-subdirectories
3416-use-precise-juvix-version-for-build-subdirectories
June 3, 2025 18:00 1h 41m 2s
Foreign Function Interface Juvix Compiler CI #10396: Pull request #3420 synchronize by lukaszcz
June 3, 2025 16:31 1h 37m 50s ffi
ffi
June 3, 2025 16:31 1h 37m 50s
Isabelle/HOL translation: fix nested pattern matching Juvix Compiler CI #10395: Pull request #3049 synchronize by lukaszcz
June 3, 2025 16:29 1h 30m 58s isabelle-records-fix
isabelle-records-fix
June 3, 2025 16:29 1h 30m 58s
Isabelle/HOL translation: fix nested pattern matching Juvix Compiler CI #10394: Pull request #3049 synchronize by lukaszcz
June 3, 2025 16:26 2m 42s isabelle-records-fix
isabelle-records-fix
June 3, 2025 16:26 2m 42s