Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
continuous integration

forward pointer #121006

Sign in to view logs

forward pointer

forward pointer #121006

Triggered via push October 16, 2023 09:23
@YaelDilliesYaelDillies
pushed 0d69e7c
ord_connected_measurable
Status Success
Total duration 1h 7m 46s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
Build mathlib
7m 24s
Build mathlib
Lint style
1m 2s
Lint style
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Lint mathlib
58m 37s
Lint mathlib
Run tests
17m 58s
Run tests
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Lint style
The process '/usr/bin/git' failed with exit code 128
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/
Build mathlib
The process '/usr/bin/git' failed with exit code 128
Post-CI job
The process '/usr/bin/git' failed with exit code 128

Artifacts

Produced during runtime
Name Size
precompiled-mathlib-3.51.1-0d69e7cf4 Expired
854 MB