Skip to content

Actions: PLTools/ostap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #18: by github-pages bot
28s gh-pages
gh-pages
28s
ci: fix after moving tests Build master #38: Commit 0530c3f pushed by Kakadu
2m 28s master
master
2m 28s
pages build and deployment pages-build-deployment #17: by github-pages bot
33s gh-pages
gh-pages
33s
chore: Shrink versions of supported OCaml Build master #37: Commit 817310a pushed by Kakadu
2m 19s master
master
2m 19s
pages build and deployment pages-build-deployment #16: by github-pages bot
31s gh-pages
gh-pages
31s
tests: remove .t files for missing tests Build master #36: Commit e5142ef pushed by Kakadu
2m 18s master
master
2m 18s
pages build and deployment pages-build-deployment #15: by github-pages bot
31s gh-pages
gh-pages
31s
Update README Build master #35: Commit 32d78b6 pushed by Kakadu
2m 21s master
master
2m 21s
pages build and deployment pages-build-deployment #14: by github-pages bot
31s gh-pages
gh-pages
31s
CI: deploy all the docs Build master #34: Commit 99707a9 pushed by Kakadu
2m 23s master
master
2m 23s
pages build and deployment pages-build-deployment #13: by github-pages bot
28s gh-pages
gh-pages
28s
CI: right public dir Build master #33: Commit c196efe pushed by Kakadu
2m 14s master
master
2m 14s
CI WIP Build master #32: Commit fd2aefe pushed by Kakadu
3m 22s master
master
3m 22s
CI: trying to fix documentation installation Build master #31: Commit 2cbb886 pushed by Kakadu
3m 23s master
master
3m 23s
pages build and deployment pages-build-deployment #12: by github-pages bot
25s gh-pages
gh-pages
25s
CI: about platform-specific output in index.mld Build master #30: Commit 02205b0 pushed by Kakadu
4m 10s master
master
4m 10s
chore: CI Build master #29: Commit 3016e06 pushed by Kakadu
3m 15s master
master
3m 15s
Integrate MDX and simple demo in the documentation Build master #28: Commit 8c3a986 pushed by Kakadu
2m 55s master
master
2m 55s
Repair tests in camlp5/regression (except 017) Build master #27: Commit 28b215b pushed by Kakadu
3m 11s master
master
3m 11s
Modernize CI Build master #26: Commit 19fd639 pushed by Kakadu
8m 24s master
master
8m 24s
pages build and deployment pages-build-deployment #11: by github-pages bot
27s gh-pages
gh-pages
27s
Rename Types_ -> Type Build master #25: Commit 266ce42 pushed by Kakadu
8m 10s master
master
8m 10s
pages build and deployment pages-build-deployment #10: by github-pages bot
24s gh-pages
gh-pages
24s
CI: Use new image Build master #24: Commit cf79b80 pushed by Kakadu
8m 9s master
master
8m 9s
Fix CI Build master #23: Commit e7a5b9f pushed by Kakadu
8m 6s master
master
8m 6s