Skip to content
continuous integration

weak version for an arbitrary infinite index type #120846

Sign in to view logs

weak version for an arbitrary infinite index type

weak version for an arbitrary infinite index type #120846

Re-run triggered July 16, 2023 14:17
@YaelDilliesYaelDillies
381eb3f
bergelson_intersectivity
Status Success
Total duration 1h 10m 33s
Artifacts 1

build.yml

on: push
Build mathlib
12m 20s
Build mathlib
Lint style
53s
Lint style
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
Lint mathlib
57m 41s
Lint mathlib
Run tests
19m 51s
Run tests
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build mathlib
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
precompiled-mathlib-3.51.1-381eb3fea Expired
701 MB