Coq latest

removing autosubst-related code #226

Sign in to view logs

Triggered via push April 8, 2024 13:10

adelaett

no-small-steps

Status Success

Total duration 6m 17s

Artifacts –

ci.yml

on: push

Matrix: build