Skip to content

Actions: ocsigen/wodoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #23: by github-pages Bot
26s gh-pages
gh-pages
26s
Merge pull request #13 from ocsigen/body-project-class CI #16: Commit 8ae2a79 pushed by balat
5m 26s master
master
5m 26s
Merge pull request #13 from ocsigen/body-project-class Documentation #70: Commit 8ae2a79 pushed by balat
3m 43s master
master
3m 43s
Merge pull request #12 from ocsigen/ci/cache-opam-switch CI #15: Commit 44eb8a5 pushed by balat
1m 55s master
master
1m 55s
Merge pull request #12 from ocsigen/ci/cache-opam-switch Documentation #69: Commit 44eb8a5 pushed by balat
4m 14s master
master
4m 14s
Tag each page's <body> with its project class CI #14: Pull request #13 opened by balat
6m 3s body-project-class
body-project-class
6m 3s
Documentation Documentation #68: Manually run by balat
1m 12s ci/cache-opam-switch
ci/cache-opam-switch
1m 12s
Documentation Documentation #67: Manually run by balat
4m 26s ci/cache-opam-switch
ci/cache-opam-switch
4m 26s
Documentation Documentation #66: Manually run by balat
1m 52s ci/cache-opam-switch
ci/cache-opam-switch
1m 52s
ci(doc): cache the opam switch to skip recompiling the dependency tree CI #13: Pull request #12 opened by balat
14m 33s ci/cache-opam-switch
ci/cache-opam-switch
14m 33s
pages build and deployment pages-build-deployment #22: by github-pages Bot
9m 24s gh-pages
gh-pages
9m 24s
Merge pull request #11 from ocsigen/highlight-rationalization CI #12: Commit 838eaec pushed by balat
6m 32s master
master
6m 32s
Merge pull request #11 from ocsigen/highlight-rationalization Documentation #65: Commit 838eaec pushed by balat
4m 3s master
master
4m 3s
Rationalise syntax highlighting (docs + complete the default theme/starter) CI #11: Pull request #11 opened by balat
7m 5s highlight-rationalization
highlight-rationalization
7m 5s
pages build and deployment pages-build-deployment #21: by github-pages Bot
1m 9s gh-pages
gh-pages
1m 9s
build: tidy href handling and report a missing configured stylesheet CI #10: Commit b5c135c pushed by balat
14m 29s master
master
14m 29s
build: tidy href handling and report a missing configured stylesheet Documentation #64: Commit b5c135c pushed by balat
5m 43s master
master
5m 43s
Merge pull request #10 from ocsigen/ci/skip-underscore-dirs-in-versions CI #9: Commit e443ff1 pushed by balat
4m 34s master
master
4m 34s
Merge pull request #10 from ocsigen/ci/skip-underscore-dirs-in-versions Documentation #63: Commit e443ff1 pushed by balat
3m 49s master
master
3m 49s
build: skip _-prefixed dirs in versions.json (fix phantom _staging) CI #8: Pull request #10 opened by balat
4m 38s ci/skip-underscore-dirs-in-versions
ci/skip-underscore-dirs-in-versions
4m 38s
pages build and deployment pages-build-deployment #20: by github-pages Bot
24s gh-pages
gh-pages
24s
Remove Python from manual (should be replaced by Ocsigen server) CI #7: Commit 37ca4a5 pushed by balat
5m 23s master
master
5m 23s
Remove Python from manual (should be replaced by Ocsigen server) Documentation #62: Commit 37ca4a5 pushed by balat
3m 32s master
master
3m 32s
ci: disable Jekyll on gh-pages (.nojekyll at the site root) CI #6: Commit c4f8182 pushed by balat
58m 35s master
master
58m 35s
ci: disable Jekyll on gh-pages (.nojekyll at the site root) Documentation #61: Commit c4f8182 pushed by balat
49m 51s master
master
49m 51s