Skip to content

Actions: PLTools/GT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support camlp5 8.04.0
Build PR #7: Pull request #34 opened by Kakadu
1d 0h 0m 3s camlp5.8.04
[chore] Make mdx a build dependency
Build master in docker (OCaml 5.2) #22: Commit 598db4c pushed by Kakadu
5m 12s master
[chore] Make mdx a build dependency
Build master in docker #60: Commit 598db4c pushed by Kakadu
5m 31s master
Make mdx a mandatory library
Build master in docker (OCaml 5.2) #21: Commit b8e9e6c pushed by Kakadu
5m 2s master
Make mdx a mandatory library
Build master in docker #59: Commit b8e9e6c pushed by Kakadu
5m 21s master
pages build and deployment
pages-build-deployment #11: by github-pages bot
27s gh-pages
27s
Add support of Complex.t (fix #28)
Build master in docker #58: Commit 7eda298 pushed by Kakadu
5m 32s master
Add support of Complex.t (fix #28)
Build master in docker (OCaml 5.2) #20: Commit 7eda298 pushed by Kakadu
5m 56s master
Improve coverage
Build master in docker #57: Commit f0d3ed5 pushed by Kakadu
5m 21s master
Improve coverage
Build master in docker (OCaml 5.2) #19: Commit f0d3ed5 pushed by Kakadu
5m 15s master
pages build and deployment
pages-build-deployment #10: by github-pages bot
26s gh-pages
26s
pages build and deployment
pages-build-deployment #9: by github-pages bot
25s gh-pages
25s
chore: ppxlib <= 0.34 is allowed
Build master in docker #55: Commit a4586e0 pushed by Kakadu
5m 15s master
chore: ppxlib <= 0.34 is allowed
Build master in docker (OCaml 5.2) #17: Commit a4586e0 pushed by Kakadu
5m 2s master
pages build and deployment
pages-build-deployment #8: by github-pages bot
2m 10s gh-pages
2m 10s
chore: Add MDX in README too
Build master in docker #54: Commit 936e1a5 pushed by Kakadu
5m 16s master
chore: Add MDX in README too
Build master in docker (OCaml 5.2) #16: Commit 936e1a5 pushed by Kakadu
6m 41s master
chore: Rewrite documentation with MDX (fix #25)
Build master in docker (OCaml 5.2) #15: Commit d76eb6b pushed by Kakadu
5m 8s master
pages build and deployment
pages-build-deployment #7: by github-pages bot
27s gh-pages
27s
chore: Rewrite documentation with MDX
Build master in docker #52: Commit 7b70e3d pushed by Kakadu
5m 12s master
chore: Rewrite documentation with MDX
Build master in docker (OCaml 5.2) #14: Commit 7b70e3d pushed by Kakadu
5m 22s master
pages build and deployment
pages-build-deployment #6: by github-pages bot
1m 26s gh-pages
1m 26s