Adjust Justfile back to the main branch

pull/23/head
Dominik Nakamura 2 years ago
parent 0873b104bc
commit 2ced08afb1
No known key found for this signature in database
GPG Key ID: E4C6A749B2491910

@ -28,6 +28,6 @@ upload-coverage: coverage
rm -rf coverage coverage.json index.html style.css
cp -R target/llvm-cov/html/ .
git add -A coverage coverage.json index.html style.css
git commit -m "Coverage for $(git rev-parse --short v5-api)"
git commit -m "Coverage for $(git rev-parse --short main)"
git push
git checkout v5-api
git checkout main

Loading…
Cancel
Save