Skip to content
continuous integration

update #169242

Sign in to view logs

update

update #169242

Re-run triggered February 25, 2025 10:28
@xyzw12345xyzw12345
0805b24
xyzw12345_Order_lemmas
Status Success
Total duration 17m 38s
Artifacts 1

build.yml

on: push
Lint style
1m 26s
Lint style
Build
17m 16s
Build
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
import-graph
202 KB