fix: self.best_metric_results may not exist #19
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Sync to Private Repository | |
| on: | |
| push: | |
| branches: | |
| - basicsr-based-dev | |
| jobs: | |
| sync: | |
| runs-on: ubuntu-latest | |
| if: github.repository_visibility == 'public' | |
| steps: | |
| - name: Checkout public repository | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 0 | |
| - name: Set up SSH | |
| uses: webfactory/ssh-agent@v0.5.3 | |
| with: | |
| ssh-private-key: ${{ secrets.SSH_PRIVATE_KEY }} | |
| - name: Sync to private repository | |
| run: | | |
| git remote add private git@github.com:ryanxingql/${{ secrets.PRIVATE_REPO_NAME }}.git | |
| git push private basicsr-based-dev --force |