Skip to content
CI

Make vcfloat compatible with coq-native #81

Sign in to view logs

Make vcfloat compatible with coq-native

Make vcfloat compatible with coq-native #81

Triggered via pull request September 8, 2023 14:14
@JasonGrossJasonGross
synchronize #2710
JasonGross:fix-vcfloat-native
Status Success
Total duration 4m 17s
Artifacts –

ci.yml

on: pull_request
build
4m 3s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in