Skip to content

Merge pull request #6545 from wm75/fix-irma #15539

Merge pull request #6545 from wm75/fix-irma

Merge pull request #6545 from wm75/fix-irma #15539

Triggered via push November 9, 2024 13:43
Status Success
Total duration 10m 37s
Artifacts 2

pr.yaml

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

Artifacts

Produced during runtime
Name Size
All tool test results
105 KB
Tool test output 0
103 KB