Skip to content
CI

Make vcfloat compatible with coq-native #82

Sign in to view logs

Make vcfloat compatible with coq-native

Make vcfloat compatible with coq-native #82

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

ci.yml

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