Skip to content
CI

Merge pull request #2718 from maximedenes/add-opam-www #103

Sign in to view logs

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

Merge pull request #2718 from maximedenes/add-opam-www #103

Triggered via push September 13, 2023 08:41
@maximedenesmaximedenes
pushed 44c70c2
master
Status Success
Total duration 5m 43s
Artifacts –

ci.yml

on: push
build
5m 13s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in