| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 1 | name: CI |
| 2 | on: |
| 3 | push: |
| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 4 | workflow_dispatch: |
| 5 | |
| Davide Pesavento | 46bac78 | 2023-02-19 20:32:24 -0500 | [diff] [blame] | 6 | permissions: {} |
| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 7 | |
| 8 | jobs: |
| Davide Pesavento | 46bac78 | 2023-02-19 20:32:24 -0500 | [diff] [blame] | 9 | Ubuntu: |
| 10 | uses: named-data/actions/.github/workflows/jenkins-script-ubuntu.yml@v1 |
| 11 | macOS: |
| 12 | uses: named-data/actions/.github/workflows/jenkins-script-macos.yml@v1 |
| Davide Pesavento | 123d44b | 2023-12-03 16:12:43 -0500 | [diff] [blame] | 13 | PPA: |
| 14 | uses: named-data/actions/.github/workflows/ppa.yml@v1 |
| 15 | with: |
| 16 | extra-deps: libboost-iostreams-dev |