Skip to content
CI

[coq-rewriter] Use disjunctions #150

Sign in to view logs

[coq-rewriter] Use disjunctions

[coq-rewriter] Use disjunctions #150

Triggered via push September 23, 2023 07:42
@JasonGrossJasonGross
pushed 781dace
rewriter-arm
Status Success
Total duration 6m 8s
Artifacts –

ci.yml

on: push
build
5m 57s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in