Skip to content

Actions: ocsigen/tuto

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #13: by github-pages bot
December 20, 2023 20:41 49s gh-pages
December 20, 2023 20:41 49s
basics: add client-server build schema
Update Web site #45: Commit c46e680 pushed by balat
December 20, 2023 20:37 4m 17s master
December 20, 2023 20:37 4m 17s
pages build and deployment
pages-build-deployment #12: by github-pages bot
December 20, 2023 20:25 42s gh-pages
December 20, 2023 20:25 42s
basics: add client-server build schema
Update Web site #44: Commit df6076a pushed by balat
December 20, 2023 20:19 6m 34s master
December 20, 2023 20:19 6m 34s
pages build and deployment
pages-build-deployment #11: by github-pages bot
November 24, 2023 15:09 46s gh-pages
November 24, 2023 15:09 46s
Graffiti: create + register in two steps everywhere
Update Web site #43: Commit 6794c0f pushed by balat
November 24, 2023 15:01 8m 20s master
November 24, 2023 15:01 8m 20s
pages build and deployment
pages-build-deployment #10: by github-pages bot
November 13, 2023 16:42 56s gh-pages
November 13, 2023 16:42 56s
Graffiti: use create then register for the service
Update Web site #42: Commit 032fc64 pushed by balat
November 13, 2023 16:34 10m 36s master
November 13, 2023 16:34 10m 36s
pages build and deployment
pages-build-deployment #9: by github-pages bot
October 7, 2023 15:18 51s gh-pages
October 7, 2023 15:18 51s
Add section for eliom-distillery (7.1)
Update Web site #41: Commit 54e1557 pushed by balat
October 7, 2023 15:13 7m 18s master
October 7, 2023 15:13 7m 18s
Add section for eliom-distillery
Update Web site #40: Commit 7f86132 pushed by balat
October 7, 2023 15:12 1m 13s master
October 7, 2023 15:12 1m 13s
pages build and deployment
pages-build-deployment #8: by github-pages bot
October 7, 2023 15:08 47s gh-pages
October 7, 2023 15:08 47s
basics: Add "compile and run" section for server-side web sites (7.1)
Update Web site #39: Commit c919080 pushed by balat
October 7, 2023 15:02 7m 59s master
October 7, 2023 15:02 7m 59s
pages build and deployment
pages-build-deployment #7: by github-pages bot
October 7, 2023 13:02 49s gh-pages
October 7, 2023 13:02 49s
Update siteupdate.yml
Update Web site #38: Commit 320503e pushed by balat
October 7, 2023 12:51 12m 56s master
October 7, 2023 12:51 12m 56s
Update siteupdate.yml
Update Web site #37: Commit 7e0dab6 pushed by balat
October 7, 2023 12:50 19s master
October 7, 2023 12:50 19s
Version 7.1 with let%rpc
Update Web site #36: Commit e592934 pushed by balat
October 7, 2023 12:42 35s master
October 7, 2023 12:42 35s