Update README.md with more CI badges #695

Sign in to view logs

Triggered via push December 31, 2023 18:11

JasonGross

master

Status Success

Total duration 10m 47s

Artifacts –

coq.yml

on: push

Matrix: build