Skip to content

Actions: PLTools/GT

Actions

Build master in docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
17 workflow runs
17 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Towards support of bisect_ppx Build master in docker #33: Commit 63f0361 pushed by Kakadu
May 19, 2024 12:22 6m 3s master
master
May 19, 2024 12:22 6m 3s
rename Caml -> Stdlib Build master in docker #32: Commit 786a50e pushed by Kakadu
March 26, 2024 11:07 5m 52s master
master
March 26, 2024 11:07 5m 52s
Fixing CI Build master in docker #31: Commit 4fc91fd pushed by Kakadu
February 13, 2024 16:40 6m 16s master
master
February 13, 2024 16:40 6m 16s
CI Build master in docker #30: Commit 2296dda pushed by Kakadu
February 13, 2024 16:23 4m 9s master
master
February 13, 2024 16:23 4m 9s
CI Build master in docker #29: Commit 2ca382d pushed by Kakadu
February 13, 2024 16:10 1m 51s master
master
February 13, 2024 16:10 1m 51s
Fixing CI Build master in docker #28: Commit 210f342 pushed by Kakadu
February 13, 2024 16:02 4m 6s master
master
February 13, 2024 16:02 4m 6s
Support stateful plugin for records Build master in docker #27: Commit daa981f pushed by Kakadu
February 5, 2024 15:26 4m 14s master
master
February 5, 2024 15:26 4m 14s
Reorganize dependencies. Fix #29 Build master in docker #25: Commit e192479 pushed by Kakadu
August 20, 2023 06:19 7m 39s master
master
August 20, 2023 06:19 7m 39s
CHANGES Build master in docker #24: Commit 43e3d34 pushed by Kakadu
July 13, 2023 12:55 8m 29s master
master
July 13, 2023 12:55 8m 29s
Improve support of mutually recursive types Build master in docker #23: Pull request #27 synchronize by Kakadu
July 12, 2023 15:28 8m 44s Kakadu:mutual-debug
Kakadu:mutual-debug
July 12, 2023 15:28 8m 44s
Improve support of mutually recursive types Build master in docker #22: Pull request #27 synchronize by Kakadu
July 12, 2023 15:12 10m 45s Kakadu:mutual-debug
Kakadu:mutual-debug
July 12, 2023 15:12 10m 45s
Don't deploy documentation from PR build Build master in docker #21: Commit 7537920 pushed by Kakadu
July 12, 2023 15:11 13m 8s master
master
July 12, 2023 15:11 13m 8s
Improve support of mutually recursive types Build master in docker #20: Pull request #27 opened by Kakadu
July 12, 2023 14:57 8m 7s Kakadu:mutual-debug
Kakadu:mutual-debug
July 12, 2023 14:57 8m 7s
Trying to fix CI Build master in docker #19: Commit 2f373ba pushed by Kakadu
May 22, 2023 20:27 13m 5s master
master
May 22, 2023 20:27 13m 5s
Remove GT.id. Use Stdlib.Fun.id instead Build master in docker #18: Commit 69e7987 pushed by Kakadu
May 17, 2023 22:09 2m 45s master
master
May 17, 2023 22:09 2m 45s
opam: Update package constraints Build master in docker #17: Commit ccfb002 pushed by Kakadu
May 17, 2023 08:23 3m 13s master
master
May 17, 2023 08:23 3m 13s
Prepare release 0.5.2 Build master in docker #16: Commit cef5651 pushed by Kakadu
May 16, 2023 20:28 12m 11s master
master
May 16, 2023 20:28 12m 11s