julia
CI: Record one result with duration
#57954
Merged
Overview
Commits
2
Changes
View On GitHub

CI: Record one result with duration #57954

IanButterworth merged 2 commits into JuliaLang:master from IanButterworth:ib/results_duration
IanButterworth
IanButterworth record one result with duration
a27d7834
IanButterworth IanButterworth added ci
IanButterworth don't set location or file_name
271571a7
IanButterworth IanButterworth marked this pull request as ready for review 265 days ago
IanButterworth IanButterworth merged 73ac39e8 into master 265 days ago
IanButterworth IanButterworth deleted the ib/results_duration branch 265 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
ci
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum