Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) #703

Sign in to view logs

Triggered via pull request February 6, 2024 11:52

SkySkimmer

opened #149

SkySkimmer:split-tac2ffi

Status Success

Total duration 8m 22s

Artifacts –

coq.yml

on: pull_request

Matrix: build