Skip to content

Actions: PLTools/GT

Actions

Build master in docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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 #59: Commit b8e9e6c pushed by Kakadu
5m 21s master
Add support of Complex.t (fix #28)
Build master in docker #58: Commit 7eda298 pushed by Kakadu
5m 32s master
Improve coverage
Build master in docker #57: Commit f0d3ed5 pushed by Kakadu
5m 21s master
chore: ppxlib <= 0.34 is allowed
Build master in docker #55: Commit a4586e0 pushed by Kakadu
5m 15s master
chore: Add MDX in README too
Build master in docker #54: Commit 936e1a5 pushed by Kakadu
5m 16s master
chore: Rewrite documentation with MDX
Build master in docker #52: Commit 7b70e3d pushed by Kakadu
5m 12s master
Contraint benchmark library < 1.7
Build master in docker #51: Commit c826cbe pushed by Kakadu
5m 37s master