Skip to content

Actions: ocsigen/ocsipersist

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #7: by balat
June 25, 2024 16:29 29s gh-pages
June 25, 2024 16:29 29s
Small fixes in doc
Deploy odoc #20: Commit f010874 pushed by balat
June 25, 2024 16:24 10s master
June 25, 2024 16:24 10s
pages build and deployment
pages-build-deployment #6: by balat
June 15, 2024 15:01 24s gh-pages
June 15, 2024 15:01 24s
Dbm not vailable on macos
Deploy odoc #19: Commit 08d2ec5 pushed by balat
June 15, 2024 14:47 9s master
June 15, 2024 14:47 9s
Dbm not vailable on macos
Deploy odoc #18: Commit 19aea99 pushed by balat
June 14, 2024 08:30 11s master
June 14, 2024 08:30 11s
Update licence as requested by opam
Deploy odoc #17: Commit a08f97d pushed by balat
June 12, 2024 21:38 10s master
June 12, 2024 21:38 10s
Merge pull request #4 from ocsigen/static
Deploy odoc #16: Commit 04246ee pushed by balat
June 11, 2024 14:38 11s master
June 11, 2024 14:38 11s
Merge pull request #3 from ocsigen/balat-patch-1
Deploy odoc #15: Commit cbf8728 pushed by balat
June 11, 2024 14:22 12s master
June 11, 2024 14:22 12s
pages build and deployment
pages-build-deployment #5: by github-pages bot
November 3, 2023 17:04 34s gh-pages
November 3, 2023 17:04 34s
Merge pull request #2 from ilankri/ci
Deploy odoc #14: Commit 7d5ae1a pushed by balat
November 3, 2023 16:55 11m 34s master
November 3, 2023 16:55 11m 34s