Skip to content
Deploy to GitHub Pages

Try fixing opam #13

Sign in to view logs

Try fixing opam

Try fixing opam #13

Triggered via push February 11, 2025 20:14
@tchajedtchajed
pushed 9d22e81
main
Status Success
Total duration 13s
Artifacts –

deploy-pages.yml

on: push
deploy-pages
5s
deploy-pages
Fit to window
Zoom out
Zoom in