Skip to content

Actions: PLTools/GT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update opam file. Now we need ppxlib <= 0.32 Build master in docker #34: Commit 41ad4d4 pushed by Kakadu
July 30, 2024 11:36 6m 21s master
master
July 30, 2024 11:36 6m 21s
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 PR #4: Pull request #27 synchronize by Kakadu
July 12, 2023 15:28 40s Kakadu:mutual-debug
Kakadu:mutual-debug
July 12, 2023 15:28 40s
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
Improve support of mutually recursive types Build PR #3: Pull request #27 synchronize by Kakadu
July 12, 2023 15:12 5m 36s Kakadu:mutual-debug
Kakadu:mutual-debug
July 12, 2023 15:12 5m 36s
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 PR #2: Pull request #27 opened by Kakadu
July 12, 2023 14:57 4m 47s Kakadu:mutual-debug
Kakadu:mutual-debug
July 12, 2023 14:57 4m 47s
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