Back to pull request #18

Add support for coq 8.18 #3436

Sign in to view logs

Triggered via pull request February 29, 2024 02:54

shinnar

opened #18

coq18

Status Success

Total duration 16m 5s

Artifacts –

build.yml

on: pull_request

Matrix: Build