Test compilation

Updates for Coq 8.20 #136

Sign in to view logs

Triggered via pull request September 6, 2024 11:49

raoxiaojia

opened #52

8.20

Status Cancelled

Total duration 1m 16s

Artifacts –

main.yml

on: pull_request

Matrix: build-matrix

Annotations

2 errors

build-matrix (coq-wasm.opam, 8.19.2)

The run was canceled by @raoxiaojia.

build-matrix (coq-wasm.opam, 8.19.2)

The operation was canceled.