Skip to content

Actions: ocsigen/ocsipersist

Actions

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
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
master
June 25, 2024 16:24 10s
pages build and deployment pages-build-deployment #6: by balat
June 15, 2024 15:01 24s
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
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
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
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
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
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
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
master
November 3, 2023 16:55 11m 34s