Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,885 workflow runs
1,885 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to RISC0 v3.0.3 (#3431) Juvix Compiler CI #10426: Commit 0ea3422 pushed by lukaszcz
2h 14m 34s main
main
2h 14m 34s
Update to RISC0 v3.0.3 cleanup caches by a branch #896: Pull request #3431 closed by lukaszcz
12s update-risc0-3.0.3
update-risc0-3.0.3
12s
Update to RISC0 v3.0.3 Juvix Compiler CI #10425: Pull request #3431 synchronize by lukaszcz
2h 5m 18s update-risc0-3.0.3
update-risc0-3.0.3
2h 5m 18s
Update to RISC0 v3.0.3 Juvix Compiler CI #10424: Pull request #3431 synchronize by lukaszcz
15m 10s update-risc0-3.0.3
update-risc0-3.0.3
15m 10s
Update to RISC0 v3.0.3 Juvix Compiler CI #10423: Pull request #3431 synchronize by lukaszcz
5m 4s update-risc0-3.0.3
update-risc0-3.0.3
5m 4s
Update to RISC0 v3.0.3 Juvix Compiler CI #10422: Pull request #3431 synchronize by lukaszcz
13m 25s update-risc0-3.0.3
update-risc0-3.0.3
13m 25s
Update to RISC0 v3.0.3 Juvix Compiler CI #10421: Pull request #3431 synchronize by lukaszcz
16m 9s update-risc0-3.0.3
update-risc0-3.0.3
16m 9s
Copilot code review Copilot code review #1: by Copilot AI
1m 24s refs/pull/3431/head
refs/pull/3431/head
1m 24s
Update to RISC0 v3.0.3 Juvix Compiler CI #10420: Pull request #3431 opened by lukaszcz
9m 24s update-risc0-3.0.3
update-risc0-3.0.3
9m 24s
.devcontainer/devcontainer.json Codespaces Prebuilds #121: by github-codespaces bot
21m 25s main
main
21m 25s
.devcontainer/devcontainer.json Codespaces Prebuilds #120: by github-codespaces bot
23m 50s main
main
23m 50s
.devcontainer/devcontainer.json Codespaces Prebuilds #119: by github-codespaces bot
22m 6s main
main
22m 6s
.devcontainer/devcontainer.json Codespaces Prebuilds #118: by github-codespaces bot
22m 26s main
main
22m 26s
.devcontainer/devcontainer.json Codespaces Prebuilds #117: by github-codespaces bot
23m 34s main
main
23m 34s
Update stdlib to 0.12.1 Juvix Compiler CI #10417: Pull request #3428 synchronize by lukaszcz
1h 49m 30s update-stlib-v0.12.1
update-stlib-v0.12.1
1h 49m 30s
Update stdlib to 0.12.1 Juvix Compiler CI #10416: Pull request #3428 opened by lukaszcz
1h 22m 16s update-stlib-v0.12.1
update-stlib-v0.12.1
1h 22m 16s
Foreign Function Interface Juvix Compiler CI #10415: Pull request #3420 synchronize by lukaszcz
1h 41m 31s ffi
ffi
1h 41m 31s
Isabelle/HOL translation: fix creation of polymorphic records cleanup caches by a branch #895: Pull request #3051 closed by lukaszcz
13s fix-implicit-record-args
fix-implicit-record-args
13s
Isabelle/HOL translation: fix creation of polymorphic records (#3051) Juvix Compiler CI #10414: Commit a54e209 pushed by lukaszcz
1h 42m 22s main
main
1h 42m 22s
Isabelle/HOL translation: fix creation of polymorphic records Juvix Compiler CI #10413: Pull request #3051 synchronize by lukaszcz
1h 42m 52s fix-implicit-record-args
fix-implicit-record-args
1h 42m 52s
Isabelle/HOL translation: fix creation of polymorphic records Juvix Compiler CI #10412: Pull request #3051 synchronize by lukaszcz
4m 45s fix-implicit-record-args
fix-implicit-record-args
4m 45s
.devcontainer/devcontainer.json Codespaces Prebuilds #116: by github-codespaces bot
23m 21s main
main
23m 21s
Isabelle/HOL translation: fix undefined identifiers due to syntax alias cleanup caches by a branch #894: Pull request #3050 closed by lukaszcz
18s isabelle-alias-fix
isabelle-alias-fix
18s
Isabelle/HOL translation: fix undefined identifiers due to `syntax al… Juvix Compiler CI #10411: Commit 3dc1789 pushed by lukaszcz
1h 43m 19s main
main
1h 43m 19s
Isabelle/HOL translation: fix undefined identifiers due to syntax alias Juvix Compiler CI #10410: Pull request #3050 synchronize by lukaszcz
1h 53m 30s isabelle-alias-fix
isabelle-alias-fix
1h 53m 30s