Skip to content
Lint Opam

Bump extraction dependencies #48

Sign in to view logs

Bump extraction dependencies

Bump extraction dependencies #48

Triggered via pull request May 26, 2025 19:12
@4ever24ever2
synchronize #269
4ever2:coq9
Status Success
Total duration 42s
Artifacts –

lint-opam.yml

on: pull_request
lint
33s
lint
Fit to window
Zoom out
Zoom in