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

Skip to content

Actions: Spencerx/juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pull] main from anoma:main cleanup caches by a branch #13: Pull request #13 closed by pull bot
23h 18m 11s anoma:main
anoma:main
23h 18m 11s
Update to RISC0 v3.0.3 (#3431) Juvix Compiler CI #25: Commit 0ea3422 pushed by pull bot
1d 1h 5m 38s main
main
1d 1h 5m 38s
[pull] main from anoma:main Juvix Compiler CI #24: Pull request #13 opened by pull bot
1d 1h 4m 35s anoma:main
anoma:main
1d 1h 4m 35s
[pull] main from anoma:main cleanup caches by a branch #12: Pull request #12 closed by pull bot
2h 23m 8s anoma:main
anoma:main
2h 23m 8s
Isabelle/HOL translation: fix creation of polymorphic records (#3051) Juvix Compiler CI #23: Commit a54e209 pushed by pull bot
4h 9m 54s main
main
4h 9m 54s
[pull] main from anoma:main Juvix Compiler CI #22: Pull request #12 opened by pull bot
3h 19m 8s anoma:main
anoma:main
3h 19m 8s
[pull] main from anoma:main cleanup caches by a branch #11: Pull request #11 closed by pull bot
11m 29s anoma:main
anoma:main
11m 29s
Isabelle/HOL translation: fix undefined identifiers due to `syntax al… Juvix Compiler CI #21: Commit 3dc1789 pushed by pull bot
2h 25m 21s main
main
2h 25m 21s
[pull] main from anoma:main Juvix Compiler CI #20: Pull request #11 opened by pull bot
2h 47m 21s anoma:main
anoma:main
2h 47m 21s
[pull] main from anoma:main cleanup caches by a branch #10: Pull request #10 closed by pull bot
35m 12s anoma:main
anoma:main
35m 12s
Improve readability of dependency directories (#3426) Juvix Compiler CI #19: Commit adbb52e pushed by pull bot
2h 34m 29s main
main
2h 34m 29s
[pull] main from anoma:main Juvix Compiler CI #18: Pull request #10 opened by pull bot
2h 1m 17s anoma:main
anoma:main
2h 1m 17s
[pull] main from anoma:main cleanup caches by a branch #9: Pull request #9 closed by pull bot
4h 12m 17s anoma:main
anoma:main
4h 12m 17s
Isabelle/HOL translation: fix nested pattern matching (#3049) Juvix Compiler CI #17: Commit bdd4c80 pushed by pull bot
6h 30m 43s main
main
6h 30m 43s
[pull] main from anoma:main Juvix Compiler CI #16: Pull request #9 opened by pull bot
1h 51m 39s anoma:main
anoma:main
1h 51m 39s
[pull] main from anoma:main cleanup caches by a branch #8: Pull request #8 closed by pull bot
51m 13s anoma:main
anoma:main
51m 13s
Use numeric version and commit to compute build dir (#3424) Juvix Compiler CI #15: Commit 037865f pushed by pull bot
4h 36m 8s main
main
4h 36m 8s
[pull] main from anoma:main Juvix Compiler CI #14: Pull request #8 opened by pull bot
5h 9m 14s anoma:main
anoma:main
5h 9m 14s
[pull] main from anoma:main cleanup caches by a branch #7: Pull request #7 closed by pull bot
30m 58s anoma:main
anoma:main
30m 58s
Isabelle/HOL translation: recursive translation of the whole project … Juvix Compiler CI #13: Commit ce9240d pushed by pull bot
4h 32m 16s main
main
4h 32m 16s
[pull] main from anoma:main Juvix Compiler CI #12: Pull request #7 opened by pull bot
5h 10m 44s anoma:main
anoma:main
5h 10m 44s
[pull] main from anoma:main cleanup caches by a branch #6: Pull request #6 closed by pull bot
3h 21m 46s anoma:main
anoma:main
3h 21m 46s
Update ghc to 9.12.2 (#3421) Juvix Compiler CI #11: Commit aada2c3 pushed by pull bot
6h 6m 22s main
main
6h 6m 22s
[pull] main from anoma:main Juvix Compiler CI #10: Pull request #6 opened by pull bot
5h 41m 17s anoma:main
anoma:main
5h 41m 17s
[pull] main from anoma:main cleanup caches by a branch #5: Pull request #5 closed by pull bot
5h 17m 34s anoma:main
anoma:main
5h 17m 34s