chg: remove deprecated docker push on old registry #1114
+0
−28
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/patch
succeeded
Nov 30, 2023 in 0s
Coverage not affected when comparing d2bde62...a1729e9
View this Pull Request on Codecov
Coverage not affected when comparing d2bde62...a1729e9
Loading