Merge pull request #34 from ocsigen/doc #2
doc.yml
on: push
Deploy odoc to GitHub Pages
1m 47s
Annotations
1 warning
Deploy odoc to GitHub Pages
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
github-pages
Expired
|
603 KB |
|