Skip to content

rename .name to .element_identifier #355

rename .name to .element_identifier

rename .name to .element_identifier #355

Triggered via pull request September 6, 2023 09:42
Status Failure
Total duration 21m 18s
Artifacts 7

pr.yaml

on: pull_request
Matrix: Setup cache and determine changed repositories
Matrix: Lint Python scripts
Matrix: Lint tool-list
Matrix: Lint R scripts
Matrix: Test tools
Check file sizes
3m 17s
Check file sizes
Matrix: Combine chunked test results
Matrix: Deploy
Check workflow success
0s
Check workflow success
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Lint R scripts (ubuntu-20.04, release)
Process completed with exit code 1.
Check file sizes
Process completed with exit code 1.
Combine chunked test results (3.7)
Process completed with exit code 1.
Check workflow success
Process completed with exit code 1.
Setup cache and determine changed repositories (3.7)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size
All tool test results Expired
638 KB
File size report Expired
588 Bytes
R linting output Expired
6.58 KB
Tool test output 0 Expired
539 KB
Tool test output 1 Expired
367 KB
Tool test output 2 Expired
361 KB
Tool test output 3 Expired
388 KB