Workflow runs · alan-turing-institute/blue · GitHub

Actions

All workflows
Workflows
- Deploy odoc to GitHub Pages Deploy odoc to GitHub Pages
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

13 workflow runs

13 workflow runs

update links after repo ownership transfer Deploy odoc to GitHub Pages #13: Commit 2e85e16 pushed by eeelllccc

10m 7s main

main

10m 7s

Merge pull request #1 from edchapman88/policyserver Deploy odoc to GitHub Pages #12: Commit 6be84c8 pushed by eeelllccc

6m 20s main

main

6m 20s

delete lwt dependency Deploy odoc to GitHub Pages #11: Commit 9668f2d pushed by eeelllccc

2m 2s main

main

2m 2s

Merge branch 'docs' Deploy odoc to GitHub Pages #10: Commit c734c51 pushed by eeelllccc

6m 23s main

main

6m 23s

fix ref to /doc in docs.yml Deploy odoc to GitHub Pages #9: Commit 994b008 pushed by eeelllccc

6m 21s main

main

6m 21s

minor formatting for README.md Deploy odoc to GitHub Pages #8: Commit c76377c pushed by eeelllccc

5m 19s main

main

5m 19s

add odoc-config to doc/markov/dune Deploy odoc to GitHub Pages #7: Commit bb870f3 pushed by eeelllccc

3m 19s main

main

3m 19s

minor readme changes Deploy odoc to GitHub Pages #6: Commit 51d0113 pushed by eeelllccc

6m 29s main

main

6m 29s

add blue README Deploy odoc to GitHub Pages #5: Commit d9b436a pushed by eeelllccc

6m 18s main

main

6m 18s

[fix] 'ok_rate' receiver initialised after cli is parsed Deploy odoc to GitHub Pages #4: Commit 569a4da pushed by eeelllccc

7m 13s main

main

7m 13s

gitaction opam exec odoc_driver Deploy odoc to GitHub Pages #3: Commit cd308f9 pushed by eeelllccc

6m 16s main

main

6m 16s

update docs build action to use odoc_driver Deploy odoc to GitHub Pages #2: Commit 221ce41 pushed by eeelllccc

4m 57s main

main

4m 57s

add gh action to build docs with odoc and push to gh pages Deploy odoc to GitHub Pages #1: Commit 58ab86e pushed by eeelllccc

9m 15s main

main

9m 15s