Skip to content

Add support for coq 8.18 #3437

Add support for coq 8.18

Add support for coq 8.18 #3437

Triggered via push February 29, 2024 02:55
Status Success
Total duration 16m 26s
Artifacts

build.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in