Skip to content

Actions: ocsigen/ocsipersist

Deploy odoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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