build: remove `deps.properties`
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / junit-tests
succeeded
Sep 26, 2023 in 0s
140 tests run, 140 passed, 0 skipped, 0 failed.
Loading