Skip to content

Actions: anoma/juvix-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
427 workflow runs
427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle pragmas Juvix standard library CI #452: Pull request #105 synchronize by lukaszcz
July 9, 2024 16:55 14m 10s isabelle-pragmas
isabelle-pragmas
July 9, 2024 16:55 14m 10s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #451: Pull request #106 synchronize by paulcadman
July 9, 2024 14:35 14m 53s add-just-either
add-just-either
July 9, 2024 14:35 14m 53s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #450: Pull request #106 synchronize by paulcadman
July 9, 2024 13:19 14m 43s add-just-either
add-just-either
July 9, 2024 13:19 14m 43s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #449: Pull request #106 opened by paulcadman
July 9, 2024 09:51 15m 6s add-just-either
add-just-either
July 9, 2024 09:51 15m 6s
Isabelle pragmas Juvix standard library CI #448: Pull request #105 synchronize by lukaszcz
July 8, 2024 14:10 14m 38s isabelle-pragmas
isabelle-pragmas
July 8, 2024 14:10 14m 38s
Juvix standard library CI Juvix standard library CI #447: Scheduled
July 8, 2024 03:06 17m 12s main
main
July 8, 2024 03:06 17m 12s
Isabelle pragmas Juvix standard library CI #446: Pull request #105 synchronize by lukaszcz
July 4, 2024 17:51 15m 22s isabelle-pragmas
isabelle-pragmas
July 4, 2024 17:51 15m 22s
Isabelle pragmas Juvix standard library CI #445: Pull request #105 opened by lukaszcz
July 4, 2024 10:35 17m 12s isabelle-pragmas
isabelle-pragmas
July 4, 2024 10:35 17m 12s
pages build and deployment pages-build-deployment #105: by github-pages bot
July 1, 2024 03:20 23s gh-pages
gh-pages
July 1, 2024 03:20 23s
Juvix standard library CI Juvix standard library CI #444: Scheduled
July 1, 2024 03:06 13m 20s main
main
July 1, 2024 03:06 13m 20s
pages build and deployment pages-build-deployment #104: by github-pages bot
June 28, 2024 17:41 24s gh-pages
gh-pages
June 28, 2024 17:41 24s
Rename if to ite (#104) Juvix standard library CI #443: Commit 89a5960 pushed by janmasrovira
June 28, 2024 17:27 13m 50s main
main
June 28, 2024 17:27 13m 50s
Rename if to ite Juvix standard library CI #442: Pull request #104 synchronize by janmasrovira
June 26, 2024 12:28 13m 8s rename-if-to-ite
rename-if-to-ite
June 26, 2024 12:28 13m 8s
Rename if to ite Juvix standard library CI #441: Pull request #104 synchronize by janmasrovira
June 26, 2024 12:11 12m 28s rename-if-to-ite
rename-if-to-ite
June 26, 2024 12:11 12m 28s
Rename if to ite Juvix standard library CI #440: Pull request #104 opened by janmasrovira
June 26, 2024 09:39 12m 20s rename-if-to-ite
rename-if-to-ite
June 26, 2024 09:39 12m 20s
pages build and deployment pages-build-deployment #103: by github-pages bot
June 24, 2024 17:00 27s gh-pages
gh-pages
June 24, 2024 17:00 27s
Rename ∘ to << and add >>, |> and <| functions (#103) Juvix standard library CI #439: Commit 00f6f50 pushed by paulcadman
June 24, 2024 16:47 13m 19s main
main
June 24, 2024 16:47 13m 19s
Rename ∘ to << and add >>, |> and <| functions Juvix standard library CI #438: Pull request #103 synchronize by paulcadman
June 24, 2024 16:24 13m 9s composition-application
composition-application
June 24, 2024 16:24 13m 9s
pages build and deployment pages-build-deployment #102: by github-pages bot
June 24, 2024 03:19 25s gh-pages
gh-pages
June 24, 2024 03:19 25s
Juvix standard library CI Juvix standard library CI #437: Scheduled
June 24, 2024 03:06 12m 49s main
main
June 24, 2024 03:06 12m 49s
Rename ∘ to << and add >>, |> and <| functions Juvix standard library CI #436: Pull request #103 ready_for_review by paulcadman
June 21, 2024 16:48 12m 51s composition-application
composition-application
June 21, 2024 16:48 12m 51s
Rename ∘ to << and add >>, |> and <| functions Juvix standard library CI #435: Pull request #103 synchronize by paulcadman
June 21, 2024 15:31 12m 30s composition-application
composition-application
June 21, 2024 15:31 12m 30s
Rename ∘ to << and add >>, |> and <| functions Juvix standard library CI #434: Pull request #103 synchronize by paulcadman
June 21, 2024 15:02 12m 5s composition-application
composition-application
June 21, 2024 15:02 12m 5s
Rename ∘ to << and add >>, |> and <| functions Juvix standard library CI #433: Pull request #103 synchronize by paulcadman
June 21, 2024 14:45 12m 37s composition-application
composition-application
June 21, 2024 14:45 12m 37s
pages build and deployment pages-build-deployment #101: by github-pages bot
June 21, 2024 14:05 24s gh-pages
gh-pages
June 21, 2024 14:05 24s
ProTip! You can narrow down the results and go further in time using created:<2024-06-21 or the other filters available.