Skip to content
CI

Make vcfloat compatible with coq-native #83

Sign in to view logs

Make vcfloat compatible with coq-native

Make vcfloat compatible with coq-native #83

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

ci.yml

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