Skip to content
std4 test build

fix: reintroduce basic definition lemmas #4737

Sign in to view logs

fix: reintroduce basic definition lemmas

fix: reintroduce basic definition lemmas #4737

Triggered via push October 8, 2023 09:38
@hargoniXhargoniX
pushed 402cfda
main
Status Success
Total duration 9m 15s
Artifacts –

build.yml

on: push
std4 test build
9m 6s
std4 test build
Fit to window
Zoom out
Zoom in