Skip to content

Minor fix for initial dt. We need to reset dt at the end of #10

Minor fix for initial dt. We need to reset dt at the end of

Minor fix for initial dt. We need to reset dt at the end of #10

Triggered via pull request November 2, 2023 18:12
Status Success
Total duration 14s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

post-pr.yml

on: pull_request
cleanup
2s
cleanup
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pr_number Expired
3 Bytes