This repository has been archived by the owner on Feb 7, 2024. It is now read-only.
Various tooling updates #6
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
| # Ensure the test course and libraries can be imported. | |
| name: CI | |
| on: | |
| pull_request: | |
| branches: ["main"] | |
| push: | |
| branches: ["main"] | |
| jobs: | |
| source_and_dist_match: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out this repo | |
| uses: actions/checkout@v2 | |
| - name: Unpack tars | |
| run: make unpack | |
| - name: Confirm that unpacked tars match source | |
| run: | | |
| git update-index --refresh && git diff-index HEAD -- && { | |
| echo -e "\033[0;32m=============================================================================\033[0m" | |
| echo -e "\033[0;32mUnpacked .tar.gz files do match source XML, all is well. \033[0m" | |
| echo -e "\033[0;32m=============================================================================\033[0m" | |
| exit 0 | |
| } || { | |
| echo -e "\033[0;31m=============================================================================\033[0m" | |
| echo -e "\033[0;31mERROR: Unpacked .tar.gz files do not match source XML! See differences below:\033[0m" | |
| echo -e "\033[0;31m=============================================================================\033[0m" | |
| git diff | |
| } | |