Skip to content

Actions: anoma/juvix-stdlib

Actions

Juvix standard library CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
382 workflow runs
382 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isabelle pragmas Juvix standard library CI #469: Pull request #105 synchronize by lukaszcz
July 15, 2024 14:11 15m 11s isabelle-pragmas
isabelle-pragmas
July 15, 2024 14:11 15m 11s
Add specialize pragma for find (#109) Juvix standard library CI #468: Commit 2ff6172 pushed by lukaszcz
July 15, 2024 14:10 16m 9s main
main
July 15, 2024 14:10 16m 9s
Add specialize pragma for find Juvix standard library CI #467: Pull request #109 synchronize by lukaszcz
July 15, 2024 13:53 15m 54s find-spec
find-spec
July 15, 2024 13:53 15m 54s
Format using the new formatter version (#108) Juvix standard library CI #466: Commit 5062b32 pushed by lukaszcz
July 15, 2024 13:53 16m 11s main
main
July 15, 2024 13:53 16m 11s
Isabelle pragmas Juvix standard library CI #465: Pull request #105 ready_for_review by lukaszcz
July 15, 2024 10:43 14m 17s isabelle-pragmas
isabelle-pragmas
July 15, 2024 10:43 14m 17s
Add specialize pragma for find Juvix standard library CI #464: Pull request #109 opened by lukaszcz
July 15, 2024 10:42 14m 39s find-spec
find-spec
July 15, 2024 10:42 14m 39s
Format using the new formatter version Juvix standard library CI #463: Pull request #108 opened by paulcadman
July 15, 2024 09:09 15m 49s juvix-format
juvix-format
July 15, 2024 09:09 15m 49s
Juvix standard library CI Juvix standard library CI #462: Scheduled
July 15, 2024 03:07 15m 14s main
main
July 15, 2024 03:07 15m 14s
Isabelle pragmas Juvix standard library CI #461: Pull request #105 synchronize by lukaszcz
July 12, 2024 15:22 15m 7s isabelle-pragmas
isabelle-pragmas
July 12, 2024 15:22 15m 7s
Isabelle pragmas Juvix standard library CI #460: Pull request #105 synchronize by lukaszcz
July 11, 2024 20:06 14m 6s isabelle-pragmas
isabelle-pragmas
July 11, 2024 20:06 14m 6s
Isabelle pragmas Juvix standard library CI #459: Pull request #105 synchronize by lukaszcz
July 11, 2024 10:02 14m 40s isabelle-pragmas
isabelle-pragmas
July 11, 2024 10:02 14m 40s
Isabelle pragmas Juvix standard library CI #458: Pull request #105 synchronize by lukaszcz
July 10, 2024 18:21 18m 58s isabelle-pragmas
isabelle-pragmas
July 10, 2024 18:21 18m 58s
Add Stdlib.Data.Result and find in Stdlib.Data.List (#106) Juvix standard library CI #457: Commit 216cb60 pushed by paulcadman
July 10, 2024 15:32 20m 29s main
main
July 10, 2024 15:32 20m 29s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #456: Pull request #106 ready_for_review by paulcadman
July 10, 2024 11:00 15m 54s add-just-either
add-just-either
July 10, 2024 11:00 15m 54s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #455: Pull request #106 synchronize by paulcadman
July 10, 2024 10:44 15m 40s add-just-either
add-just-either
July 10, 2024 10:44 15m 40s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #454: Pull request #106 synchronize by paulcadman
July 10, 2024 10:23 15m 48s add-just-either
add-just-either
July 10, 2024 10:23 15m 48s
Add Stdlib.Data.Result and find in Stdlib.Data.List Juvix standard library CI #453: Pull request #106 synchronize by paulcadman
July 10, 2024 10:14 9m 47s add-just-either
add-just-either
July 10, 2024 10:14 9m 47s
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