Skip to content

Merge pull request #135 from TomHarrop/update_pr #515

Merge pull request #135 from TomHarrop/update_pr

Merge pull request #135 from TomHarrop/update_pr #515

Triggered via push September 24, 2024 04:16
Status Success
Total duration 4m 25s
Artifacts

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