Skip to content

Actions: PLTools/OCanren

Actions

Build_PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PR.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PPX: Support ppx_inject in .mli files Build_PR #62: Pull request #170 opened by Kakadu
July 19, 2023 16:28 15m 41s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 19, 2023 16:28 15m 41s
Many updates on [%%ocanren_inject...] Build_PR #61: Pull request #169 synchronize by Kakadu
July 16, 2023 13:49 19m 25s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 16, 2023 13:49 19m 25s
Many updates on [%%ocanren_inject...] Build_PR #60: Pull request #169 synchronize by Kakadu
July 16, 2023 13:18 16m 16s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 16, 2023 13:18 16m 16s
Many updates on [%%ocanren_inject...] Build_PR #59: Pull request #169 synchronize by Kakadu
July 13, 2023 15:53 16m 43s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 15:53 16m 43s
Many updates on [%%ocanren_inject...] Build_PR #58: Pull request #169 synchronize by Kakadu
July 13, 2023 15:22 16m 28s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 15:22 16m 28s
Many updates on [%%ocanren_inject...] Build_PR #57: Pull request #169 synchronize by Kakadu
July 13, 2023 14:57 20m 11s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 14:57 20m 11s
Many updates on [%%ocanren_inject...] Build_PR #56: Pull request #169 synchronize by Kakadu
July 13, 2023 14:12 17m 27s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 14:12 17m 27s
Many updates on [%%ocanren_inject...] Build_PR #55: Pull request #169 synchronize by Kakadu
July 13, 2023 14:05 3m 45s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 14:05 3m 45s
Many updates on [%%ocanren_inject...] Build_PR #54: Pull request #169 synchronize by Kakadu
July 13, 2023 13:05 3m 31s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 13:05 3m 31s
Many updates on [%%ocanren_inject...] Build_PR #53: Pull request #169 synchronize by Kakadu
July 13, 2023 12:56 3m 30s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 12:56 3m 30s
Many updates on [%%ocanren_inject...] Build_PR #52: Pull request #169 opened by Kakadu
July 13, 2023 12:49 2m 58s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 12:49 2m 58s