8000 Workflow runs · Spencerx/juvix · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: Spencerx/juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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