Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: PLTools/GT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Contraint benchmark library < 1.7
Build master in docker (OCaml 5.2) #13: Commit c826cbe pushed by Kakadu
5m 18s master