Skip to content
Back to pull request #11

Require coq-paco >= 4.2.1 rather than 4.1.2 #7

Sign in to view logs

Require coq-paco >= 4.2.1 rather than 4.1.2

Require coq-paco >= 4.2.1 rather than 4.1.2 #7

Triggered via pull request October 16, 2024 22:55
@sauclovian-gsauclovian-g
synchronize #11
tighten-coq-paco
Status Success
Total duration 7m 57s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in