Skip to content

Actions: ocsigen/ocsigenserver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Main workflow Main workflow #436: Scheduled
November 18, 2024 02:20 20m 24s master
master
November 18, 2024 02:20 20m 24s
Main workflow Main workflow #435: Scheduled
November 11, 2024 02:12 9m 51s master
master
November 11, 2024 02:12 9m 51s
Main workflow Main workflow #434: Scheduled
November 4, 2024 02:14 8m 54s master
master
November 4, 2024 02:14 8m 54s
Main workflow Main workflow #433: Scheduled
October 28, 2024 02:16 10m 46s master
master
October 28, 2024 02:16 10m 46s
Main workflow Main workflow #432: Scheduled
October 21, 2024 02:15 12m 27s master
master
October 21, 2024 02:15 12m 27s
Main workflow Main workflow #431: Scheduled
October 14, 2024 02:14 14m 22s master
master
October 14, 2024 02:14 14m 22s
Main workflow Main workflow #430: Scheduled
October 7, 2024 02:15 8m 41s master
master
October 7, 2024 02:15 8m 41s
Main workflow Main workflow #429: Scheduled
September 30, 2024 02:16 9m 2s master
master
September 30, 2024 02:16 9m 2s
Main workflow Main workflow #428: Scheduled
September 23, 2024 02:11 11m 37s master
master
September 23, 2024 02:11 11m 37s
Main workflow Main workflow #427: Scheduled
September 16, 2024 02:15 9m 5s master
master
September 16, 2024 02:15 9m 5s
pages build and deployment pages-build-deployment #18: by github-pages bot
September 9, 2024 19:39 46s
September 9, 2024 19:39 46s
Update config and staticlink Update Web site #23: Commit 5d14151 pushed by balat
September 9, 2024 19:35 3m 46s wikidoc
wikidoc
September 9, 2024 19:35 3m 46s
pages build and deployment pages-build-deployment #17: by github-pages bot
September 9, 2024 19:31 40s
September 9, 2024 19:31 40s
Update config and staticlink Update Web site #22: Commit e3e1b11 pushed by balat
September 9, 2024 19:24 7m 21s wikidoc
wikidoc
September 9, 2024 19:24 7m 21s
Update config and staticlink Update Web site #21: Commit 3ad4055 pushed by balat
September 9, 2024 19:22 1m 28s wikidoc
wikidoc
September 9, 2024 19:22 1m 28s
Main workflow Main workflow #426: Scheduled
September 9, 2024 02:09 9m 13s master
master
September 9, 2024 02:09 9m 13s
Main workflow Main workflow #425: Scheduled
September 2, 2024 02:06 11m 3s master
master
September 2, 2024 02:06 11m 3s
Update .opam Main workflow #424: Commit 7950e0a pushed by balat
September 1, 2024 18:33 6m 25s 6.0.0
6.0.0
September 1, 2024 18:33 6m 25s
Update .opam Main workflow #423: Commit 7950e0a pushed by balat
September 1, 2024 18:28 6m 43s config
config
September 1, 2024 18:28 6m 43s
Config Main workflow #422: Pull request #245 opened by balat
September 1, 2024 17:51 6m 44s config
config
September 1, 2024 17:51 6m 44s
6.0.0 Main workflow #421: Commit d55fc46 pushed by balat
September 1, 2024 17:50 6m 37s config
config
September 1, 2024 17:50 6m 37s
pages build and deployment pages-build-deployment #16: by github-pages bot
August 30, 2024 16:42 42s
August 30, 2024 16:42 42s
Add doc for version 6 Update Web site #20: Commit 1c9cf2f pushed by balat
August 30, 2024 16:39 3m 42s wikidoc
wikidoc
August 30, 2024 16:39 3m 42s
Update .opam Main workflow #420: Commit 7950e0a pushed by balat
August 28, 2024 12:35 6m 47s master
master
August 28, 2024 12:35 6m 47s
Update CHANGES Main workflow #419: Commit 8266e8c pushed by balat
August 28, 2024 12:27 6m 35s master
master
August 28, 2024 12:27 6m 35s