Skip to content
continuous integration

merge #48179

Sign in to view logs

merge

merge #48179

Triggered via push October 9, 2023 12:15
@kim-emkim-em
pushed fe7446f
lean-pr-testing-2642
Status Cancelled
Total duration 58s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
Lint style
46s
Lint style
Check all files imported
11s
Check all files imported
Build
50s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Lint style
The run was canceled by @github-actions.
Lint style
The operation was canceled.
Build
The run was canceled by @github-actions.
Build
The operation was canceled.