Test opam package

Stop relying on `replace by` automatic `assumption`-based solving (#1… #654

Sign in to view logs

Triggered via push September 11, 2023 20:31

JasonGross

master

Status Success

Total duration 3h 6m 59s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install