This repository has been archived by the owner on Nov 1, 2023. It is now read-only.
Remove all repro/proxy code #106
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: Validate Devcontainer configuration | |
| on: | |
| # run on PRs to main branch, if any | |
| # devcontainer files have changed | |
| pull_request: | |
| branches: | |
| - main | |
| paths: | |
| - .devcontainer/** | |
| jobs: | |
| use-devcontainer: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # note that all we do here is ensure the devcontainer can | |
| # setup and run one command, ensuring that it works | |
| - name: Build and use devcontainer | |
| uses: devcontainers/[email protected] | |
| with: | |
| runCmd: cargo --version |