Skip to content

Actions: anoma/juvix-stdlib

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
459 workflow runs
459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Applicative trait (#115)
Juvix standard library CI #561: Commit f51043d pushed by paulcadman
August 21, 2024 09:46 17m 1s main
August 21, 2024 09:46 17m 1s
Add Applicative trait
Juvix standard library CI #560: Pull request #115 synchronize by paulcadman
August 21, 2024 07:45 16m 41s applicative
August 21, 2024 07:45 16m 41s
Add Applicative trait
Juvix standard library CI #559: Pull request #115 synchronize by paulcadman
August 20, 2024 15:06 15m 10s applicative
August 20, 2024 15:06 15m 10s
pages build and deployment
pages-build-deployment #119: by github-pages bot
August 19, 2024 03:27 22s gh-pages
August 19, 2024 03:27 22s
Juvix standard library CI
Juvix standard library CI #558: Scheduled
August 19, 2024 03:06 20m 56s main
August 19, 2024 03:06 20m 56s
pages build and deployment
pages-build-deployment #118: by github-pages bot
August 14, 2024 15:20 29s gh-pages
August 14, 2024 15:20 29s
Update pragmas (#122)
Juvix standard library CI #557: Commit 17a82dd pushed by paulcadman
August 14, 2024 15:03 16m 35s main
August 14, 2024 15:03 16m 35s
Update pragmas
Juvix standard library CI #556: Pull request #122 synchronize by paulcadman
August 14, 2024 14:41 16m 2s spec-pragmas
August 14, 2024 14:41 16m 2s
Update pragmas
Juvix standard library CI #555: Pull request #122 synchronize by lukaszcz
August 13, 2024 17:13 15m 50s spec-pragmas
August 13, 2024 17:13 15m 50s
Remove unicode from Isabelle/HOL names
Juvix standard library CI #554: Pull request #123 opened by lukaszcz
August 13, 2024 13:35 15m 52s isabelle-remove-unicode
August 13, 2024 13:35 15m 52s
Update pragmas
Juvix standard library CI #553: Pull request #122 ready_for_review by lukaszcz
August 13, 2024 09:52 14m 42s spec-pragmas
August 13, 2024 09:52 14m 42s
Update pragmas
Juvix standard library CI #552: Pull request #122 synchronize by lukaszcz
August 12, 2024 16:28 14m 39s spec-pragmas
August 12, 2024 16:28 14m 39s
Update pragmas
Juvix standard library CI #551: Pull request #122 synchronize by lukaszcz
August 12, 2024 15:33 15m 21s spec-pragmas
August 12, 2024 15:33 15m 21s
Update pragmas
Juvix standard library CI #550: Pull request #122 synchronize by lukaszcz
August 12, 2024 13:57 14m 42s spec-pragmas
August 12, 2024 13:57 14m 42s
Update pragmas
Juvix standard library CI #549: Pull request #122 synchronize by lukaszcz
August 12, 2024 13:04 17m 47s spec-pragmas
August 12, 2024 13:04 17m 47s
Juvix standard library CI
Juvix standard library CI #548: Scheduled
August 12, 2024 03:07 14m 50s main
August 12, 2024 03:07 14m 50s
Update pragmas
Juvix standard library CI #547: Pull request #122 synchronize by lukaszcz
August 9, 2024 15:41 15m 14s spec-pragmas
August 9, 2024 15:41 15m 14s
Update pragmas
Juvix standard library CI #546: Pull request #122 opened by lukaszcz
August 8, 2024 11:15 15m 9s spec-pragmas
August 8, 2024 11:15 15m 9s
add Monad trait
Juvix standard library CI #545: Pull request #119 synchronize by janmasrovira
August 5, 2024 15:34 15m 0s monad
August 5, 2024 15:34 15m 0s
pages build and deployment
pages-build-deployment #117: by github-pages bot
August 5, 2024 15:14 30s gh-pages
August 5, 2024 15:14 30s
Add Applicative trait
Juvix standard library CI #544: Pull request #115 synchronize by paulcadman
August 5, 2024 14:59 15m 10s applicative
August 5, 2024 14:59 15m 10s
Add support for builtin Byte (#118)
Juvix standard library CI #543: Commit 5424a48 pushed by paulcadman
August 5, 2024 14:58 15m 51s main
August 5, 2024 14:58 15m 51s
pages build and deployment
pages-build-deployment #116: by github-pages bot
August 5, 2024 14:28 29s gh-pages
August 5, 2024 14:28 29s
Add support for builtin Byte
Juvix standard library CI #542: Pull request #118 synchronize by paulcadman
August 5, 2024 14:22 15m 48s support-byte
August 5, 2024 14:22 15m 48s
add Monad trait
Juvix standard library CI #541: Pull request #119 synchronize by janmasrovira
August 5, 2024 14:12 15m 16s monad
August 5, 2024 14:12 15m 16s