Skip to content

rename .name to .element_identifier #361

rename .name to .element_identifier

rename .name to .element_identifier #361

Triggered via pull request September 6, 2023 11:49
Status Failure
Total duration 12m 9s
Artifacts 6

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
39s
Check file sizes
Matrix: Combine chunked test results
Matrix: Deploy
Check workflow success
3s
Check workflow success
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
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
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