simple-tests/omit_test: fix Coq sources for 8.19 #41

Sign in to view logs

Triggered via push January 22, 2024 08:42

hendriktews

master

Status Success

Total duration 52s

Artifacts –

deploy-doc.yml

on: push

Matrix: deploy-doc