add missing dates #152
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: Make | |
| on: [push, pull_request] | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest, macos-latest] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Download, build, and install ctangle | |
| run: | | |
| mkdir cweb | |
| wget https://github.com/ascherer/cweb/releases/download/cweb-4.11/cweb-4.11.tar.gz | |
| tar xvfz cweb-4.11.tar.gz -C cweb | |
| cd cweb | |
| make | |
| cp ctangle /usr/local/bin/ctangle | |
| chmod 755 /usr/local/bin/ctangle | |
| cd .. | |
| - name: Download iad repository | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - name: Build and run short test (no automated verification) | |
| run: | | |
| make | |
| make veryshorttest |