Skip to content
CI

Merge pull request #2717 from maximedenes/add-opam-www #101

Sign in to view logs

Merge pull request #2717 from maximedenes/add-opam-www

Merge pull request #2717 from maximedenes/add-opam-www #101

Triggered via push September 13, 2023 06:28
@maximedenesmaximedenes
pushed 4e60eac
master
Status Success
Total duration 5m 45s
Artifacts –

ci.yml

on: push
build
5m 16s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in