Skip to content

Actions: ocsigen/tuto

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
54 workflow runs
54 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #36 from ilankri/ci Update Web site #63: Commit 91a090d pushed by balat
March 25, 2024 13:56 3m 40s master
master
March 25, 2024 13:56 3m 40s
pages build and deployment pages-build-deployment #30: by github-pages bot
March 22, 2024 16:56 39s
March 22, 2024 16:56 39s
dev -> 7.1 Update Web site #62: Commit e665b04 pushed by balat
March 22, 2024 16:53 3m 37s master
master
March 22, 2024 16:53 3m 37s
pages build and deployment pages-build-deployment #29: by github-pages bot
March 22, 2024 16:25 41s
March 22, 2024 16:25 41s
BAckport to 7.1 Update Web site #61: Commit 731a989 pushed by balat
March 22, 2024 16:21 3m 54s master
master
March 22, 2024 16:21 3m 54s
pages build and deployment pages-build-deployment #28: by github-pages bot
March 22, 2024 14:29 44s
March 22, 2024 14:29 44s
Backport fixes to 7.1 Update Web site #60: Commit 9bf324c pushed by balat
March 22, 2024 14:25 3m 48s master
master
March 22, 2024 14:25 3m 48s
pages build and deployment pages-build-deployment #27: by github-pages bot
March 18, 2024 10:18 46s
March 18, 2024 10:18 46s
Replace open%shared Js_of_ocaml by open%client Js_of_ocaml Update Web site #59: Commit 96620fd pushed by balat
March 18, 2024 10:11 6m 58s master
master
March 18, 2024 10:11 6m 58s
pages build and deployment pages-build-deployment #26: by github-pages bot
March 8, 2024 14:20 47s
March 8, 2024 14:20 47s
Install ocsipersist-sqlite explicitely Update Web site #58: Commit 7895324 pushed by balat
March 8, 2024 14:12 7m 13s master
master
March 8, 2024 14:12 7m 13s
pages build and deployment pages-build-deployment #25: by github-pages bot
February 9, 2024 17:58 42s
February 9, 2024 17:58 42s
Typos Update Web site #57: Commit 4485212 pushed by balat
February 9, 2024 17:54 3m 44s master
master
February 9, 2024 17:54 3m 44s
pages build and deployment pages-build-deployment #24: by github-pages bot
February 9, 2024 17:49 49s
February 9, 2024 17:49 49s
basics-server: browser events and advanced services Update Web site #56: Commit c5ef997 pushed by balat
February 9, 2024 17:45 3m 32s master
master
February 9, 2024 17:45 3m 32s
pages build and deployment pages-build-deployment #23: by github-pages bot
February 9, 2024 15:39 52s
February 9, 2024 15:39 52s
basics and basics-server: fixes Update Web site #55: Commit 6080273 pushed by balat
February 9, 2024 15:32 7m 27s master
master
February 9, 2024 15:32 7m 27s
pages build and deployment with artifacts-next pages-build-deployment #22: by github-pages bot
January 20, 2024 16:44 40s
January 20, 2024 16:44 40s
basics: move rpc section upwards + small fixes Update Web site #54: Commit 0a0fc19 pushed by balat
January 20, 2024 16:41 3m 31s master
master
January 20, 2024 16:41 3m 31s
pages build and deployment with artifacts-next pages-build-deployment #21: by github-pages bot
January 19, 2024 17:48 47s
January 19, 2024 17:48 47s
basics: Adding image with example of requests Update Web site #53: Commit 5a2b2ff pushed by balat
January 19, 2024 17:41 6m 57s master
master
January 19, 2024 17:41 6m 57s
pages build and deployment pages-build-deployment #20: by github-pages bot
January 5, 2024 16:15 45s
January 5, 2024 16:15 45s
Fix basics (basic template) Update Web site #52: Commit 62719dc pushed by balat
January 5, 2024 16:12 3m 36s master
master
January 5, 2024 16:12 3m 36s
pages build and deployment pages-build-deployment #19: by github-pages bot
December 29, 2023 16:29 42s
December 29, 2023 16:29 42s
Doc: basics-server add "WIP" in unfinished sections Update Web site #51: Commit 1be4fc1 pushed by balat
December 29, 2023 16:25 4m 3s master
master
December 29, 2023 16:25 4m 3s