Skip to content
Build

fix: actually use new lemma in Rezk.Universal #3184

Sign in to view logs

fix: actually use new lemma in Rezk.Universal

fix: actually use new lemma in Rezk.Universal #3184

Triggered via push November 11, 2024 21:49
@TOTBWFTOTBWF
pushed 1a21368
adjoint-facts
Status Cancelled
Total duration 4m 2s
Artifacts –

build.yml

on: push
build
3m 35s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Build-refs/heads/adjoint-facts' exists
build
The operation was canceled.