Skip to content

Merge remote-tracking branch 'origin/add_github_actions_tal' into add… #65

Merge remote-tracking branch 'origin/add_github_actions_tal' into add…

Merge remote-tracking branch 'origin/add_github_actions_tal' into add… #65

Triggered via push October 22, 2023 20:11
Status Success
Total duration 3m 42s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
unit_coverage_report Expired
566 Bytes