Skip to content
Lint Opam

Update dependencies #22

Sign in to view logs

Update dependencies

Update dependencies #22

Triggered via pull request June 26, 2024 13:05
@4ever24ever2
synchronize #243
4ever2:metacoq-1.3
Status Success
Total duration 1m 51s
Artifacts –

lint-opam.yml

on: pull_request
lint
1m 40s
lint
Fit to window
Zoom out
Zoom in