Skip to content

Actions: anoma/juvix-test

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to latest stdlib and format Test Test #21: Pull request #8 opened by paulcadman
July 19, 2024 12:36 25s release-0.12.0
release-0.12.0
July 19, 2024 12:36 25s
Update to new stdlib (#7) Test Test #20: Commit 4254b60 pushed by paulcadman
July 2, 2024 14:34 26s main
main
July 2, 2024 14:34 26s
Update to new stdlib Test Test #19: Pull request #7 synchronize by paulcadman
July 2, 2024 14:33 32s update-to-ascii-stdlib
update-to-ascii-stdlib
July 2, 2024 14:33 32s
Update to new stdlib Test Test #18: Pull request #7 opened by paulcadman
June 28, 2024 16:55 22s update-to-ascii-stdlib
update-to-ascii-stdlib
June 28, 2024 16:55 22s
Update for Juvix 0.6.2 (#6) Test Test #17: Commit 4e54de4 pushed by paulcadman
June 13, 2024 08:40 35s main
main
June 13, 2024 08:40 35s
Update for Juvix 0.6.2 Test Test #16: Pull request #6 opened by paulcadman
June 13, 2024 08:39 29s update-juvix-0.6.2
update-juvix-0.6.2
June 13, 2024 08:39 29s
Update juvix compile commands (#5) Test Test #15: Commit ed195e7 pushed by paulcadman
April 25, 2024 18:27 32s main
main
April 25, 2024 18:27 32s
Update juvix compile commands Test Test #14: Pull request #5 opened by paulcadman
April 25, 2024 18:26 28s update-compile-command
update-compile-command
April 25, 2024 18:26 28s
Update for compatibility with Juvix 0.6.0 (#4) Test Test #13: Commit 341fc7f pushed by paulcadman
March 5, 2024 09:35 34s main
main
March 5, 2024 09:35 34s
Update for compatibility with Juvix 0.6.0 Test Test #12: Pull request #4 opened by paulcadman
March 5, 2024 09:34 35s update-juvix-0.6.0
update-juvix-0.6.0
March 5, 2024 09:34 35s
Improve performance by selectively importing parts of the stdlib (#3) Test Test #11: Commit 61c5404 pushed by paulcadman
December 1, 2023 18:50 30s main
main
December 1, 2023 18:50 30s
Improve performance by selectively importing parts of the stdlib Test Test #10: Pull request #3 synchronize by paulcadman
December 1, 2023 18:49 30s performance
performance
December 1, 2023 18:49 30s
Improve performance by selectively importing parts of the stdlib Test Test #9: Pull request #3 synchronize by paulcadman
December 1, 2023 18:47 32s performance
performance
December 1, 2023 18:47 32s
Improve performance by selectively importing parts of the stdlib Test Test #8: Pull request #3 synchronize by paulcadman
December 1, 2023 13:41 33s performance
performance
December 1, 2023 13:41 33s
Improve performance by selectively importing parts of the stdlib Test Test #7: Pull request #3 opened by paulcadman
December 1, 2023 13:35 17s performance
performance
December 1, 2023 13:35 17s
Adapt to standard library traits (#1) Test Test #6: Commit 3ed8a39 pushed by paulcadman
November 21, 2023 16:32 42s main
main
November 21, 2023 16:32 42s
Adapt to standard library traits Test Test #5: Pull request #1 synchronize by paulcadman
November 21, 2023 16:30 40s adapt-to-traits
adapt-to-traits
November 21, 2023 16:30 40s
Adapt to standard library traits Test Test #4: Pull request #1 synchronize by paulcadman
November 21, 2023 16:27 34s adapt-to-traits
adapt-to-traits
November 21, 2023 16:27 34s
Adapt to standard library traits Test Test #3: Pull request #1 synchronize by paulcadman
November 21, 2023 16:04 33s adapt-to-traits
adapt-to-traits
November 21, 2023 16:04 33s
Adapt to standard library traits Test Test #2: Pull request #1 synchronize by paulcadman
November 21, 2023 16:01 30s adapt-to-traits
adapt-to-traits
November 21, 2023 16:01 30s
Adapt to standard library traits Test Test #1: Pull request #1 synchronize by paulcadman
November 21, 2023 15:55 40s adapt-to-traits
adapt-to-traits
November 21, 2023 15:55 40s