Skip to content

Actions: anoma/juvix-containers

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

Update to stdlib 0.7.0 and test 0.15.0 (#20) Test containers #77: Commit 6d3d2b3 pushed by paulcadman
September 3, 2024 18:49 27s main
main
September 3, 2024 18:49 27s
Update to stdlib 0.7.0 and test 0.15.0 Test containers #76: Pull request #20 opened by paulcadman
September 3, 2024 18:48 28s release-0.15.0
release-0.15.0
September 3, 2024 18:48 28s
Bump version Test containers #75: Commit cd326e0 pushed by paulcadman
August 15, 2024 17:09 38s main
main
August 15, 2024 17:09 38s
Add union and foldable implementations for AVLTree (#18) Test containers #74: Commit b4792d6 pushed by paulcadman
August 15, 2024 17:08 32s main
main
August 15, 2024 17:08 32s
Add union and foldable implementations for AVLTree Test containers #73: Pull request #18 opened by paulcadman
August 15, 2024 17:07 36s foldable-union
foldable-union
August 15, 2024 17:07 36s
Add Set.{deleteWith; intersection; difference}, Map.delete (#17) Test containers #72: Commit 608fd84 pushed by paulcadman
August 15, 2024 10:58 22s main
main
August 15, 2024 10:58 22s
Add Set.{deleteWith; intersection; difference}, Map.delete Test containers #71: Pull request #17 opened by paulcadman
August 15, 2024 10:57 28s release-0.14.0
release-0.14.0
August 15, 2024 10:57 28s
Update stdlib and format (#16) Test containers #70: Commit 186227a pushed by paulcadman
July 19, 2024 13:15 24s main
main
July 19, 2024 13:15 24s
Release 0.13.0 Test containers #69: Pull request #16 opened by paulcadman
July 19, 2024 13:15 23s release-0.13.0
release-0.13.0
July 19, 2024 13:15 23s
Fix Set.AVL (#15) Test containers #68: Commit c4c7af9 pushed by paulcadman
July 3, 2024 11:25 25s main
main
July 3, 2024 11:25 25s
Fix Set.AVL Test containers #67: Pull request #15 opened by paulcadman
July 3, 2024 11:23 26s replace-if-with-ite
replace-if-with-ite
July 3, 2024 11:23 26s
Update for compatibility with the ASCII stdlib (#14) Test containers #66: Commit 50051f9 pushed by paulcadman
July 2, 2024 14:39 28s main
main
July 2, 2024 14:39 28s
Update for compatibility with the ASCII stdlib Test containers #65: Pull request #14 synchronize by paulcadman
July 2, 2024 14:38 28s compat-ascii-stdlib
compat-ascii-stdlib
July 2, 2024 14:38 28s
Update for Juvix 0.6.2 (#13) Test containers #64: Commit b466701 pushed by paulcadman
June 13, 2024 08:46 25s main
main
June 13, 2024 08:46 25s
Update for Juvix 0.6.2 Test containers #63: Pull request #13 opened by paulcadman
June 13, 2024 08:45 35s update-juvix-0.6.2
update-juvix-0.6.2
June 13, 2024 08:45 35s
Update juvix compile command (#12) Test containers #62: Commit ebe8d2a pushed by paulcadman
April 25, 2024 18:30 39s main
main
April 25, 2024 18:30 39s
Update juvix compile command Test containers #61: Pull request #12 opened by paulcadman
April 25, 2024 18:30 38s update-juvix-compile
update-juvix-compile
April 25, 2024 18:30 38s
Test containers Test containers #60: Manually run by paulcadman
March 25, 2024 15:06 32s main
main
March 25, 2024 15:06 32s
Update for compatibility with juvix 0.6.0 (#11) Test containers #59: Commit 4a4fd42 pushed by paulcadman
March 5, 2024 09:45 37s main
main
March 5, 2024 09:45 37s
Update for compatibility with juvix 0.6.0 Test containers #58: Pull request #11 opened by paulcadman
March 5, 2024 09:44 51s release-0.10.0
release-0.10.0
March 5, 2024 09:44 51s
Rename Prelude -> ContainersPrelude (#10) Test containers #57: Commit 471fa23 pushed by paulcadman
December 1, 2023 19:01 25s main
main
December 1, 2023 19:01 25s
Rename Prelude -> ContainersPrelude Test containers #56: Pull request #10 opened by paulcadman
December 1, 2023 19:01 25s rename-prelude
rename-prelude
December 1, 2023 19:01 25s
Use a custom prelude to improve compile performance (#9) Test containers #55: Commit 300b163 pushed by paulcadman
December 1, 2023 18:56 32s main
main
December 1, 2023 18:56 32s
Use a custom prelude to improve compile performance Test containers #54: Pull request #9 synchronize by paulcadman
December 1, 2023 18:55 29s performance
performance
December 1, 2023 18:55 29s
Use a custom prelude to improve compile performance Test containers #53: Pull request #9 opened by paulcadman
December 1, 2023 15:39 28s performance
performance
December 1, 2023 15:39 28s