feat: Add the stdlib_diff tool to compare gno and go standard librari… #1064
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
| # generate docs and publish on gh-pages branch | |
| name: gh-pages | |
| on: | |
| push: | |
| branches: [ "master" ] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: pages | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| if: ${{ github.repository == 'gnolang/gno' }} # Alternatively, validate based on provided tokens and permissions. | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-go@v5 | |
| with: | |
| go-version-file: go.mod | |
| - run: echo "GOROOT=$(go env GOROOT)" >> $GITHUB_ENV | |
| - run: echo $GOROOT | |
| - run: "cd misc/stdlib_diff && make install gen" | |
| - run: "cd misc/gendocs && make gen" | |
| - run: | | |
| mv misc/gendocs/godoc pages_output | |
| mv misc/stdlib_diff/stdlib_diff pages_ouput/stdlib_diff | |
| - uses: actions/configure-pages@v5 | |
| id: pages | |
| - uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: ./pages_output | |
| deploy: | |
| if: ${{ github.repository == 'gnolang/gno' }} # Alternatively, validate based on provided tokens and permissions. | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| needs: build | |
| steps: | |
| - uses: actions/deploy-pages@v4 | |
| id: deployment |