Skip to content
CI

Make vcfloat compatible with coq-native #74

Sign in to view logs

Make vcfloat compatible with coq-native

Make vcfloat compatible with coq-native #74

Triggered via pull request September 8, 2023 03:28
@JasonGrossJasonGross
opened #2710
JasonGross:fix-vcfloat-native
Status Success
Total duration 7m 11s
Artifacts –

ci.yml

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