Coq

support functions that don't use the heap #1358

Sign in to view logs

Triggered via push June 10, 2024 22:07

master

Status Success

Total duration 1h 27m 16s

Artifacts –

coq.yml

on: push

Matrix: build