Skip to content

Merge pull request #280 from deepanshs/djs/undo_force_3_7_16 #1792

Merge pull request #280 from deepanshs/djs/undo_force_3_7_16

Merge pull request #280 from deepanshs/djs/undo_force_3_7_16 #1792

Triggered via push July 13, 2023 18:51
Status Success
Total duration 14m 50s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: code_lint
Matrix: testing_mac
Matrix: testing_unix
Matrix: testing_windows
Fit to window
Zoom out
Zoom in