Skip to content
Deploy odoc to GitHub Pages

Merge pull request #398 from shonfeder/update-for-cohttp-6 #3

Sign in to view logs

Merge pull request #398 from shonfeder/update-for-cohttp-6

Merge pull request #398 from shonfeder/update-for-cohttp-6 #3

Triggered via push November 29, 2024 03:10
@shonfedershonfeder
pushed d9b58b7
master
Status Success
Total duration 4m 35s
Artifacts 1

docs.yml

on: push
Deploy odoc to GitHub Pages
4m 25s
Deploy odoc to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
773 KB