Skip to content

Merge pull request #369 from crocs-muni/fix/better-log-filename-and-r… #1274

Merge pull request #369 from crocs-muni/fix/better-log-filename-and-r…

Merge pull request #369 from crocs-muni/fix/better-log-filename-and-r… #1274

Triggered via push October 26, 2023 07:41
Status Success
Total duration 24m 51s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tests.yml

on: push
Fit to window
Zoom out
Zoom in