diff options
| author | Pierre Tondereau | 2025-07-15 20:16:08 +0200 |
|---|---|---|
| committer | Julien Voisin | 2025-07-15 22:36:00 +0200 |
| commit | 7e56fe6cbaac489d8449962730f37a025d15cfeb (patch) | |
| tree | 9f47332221770f19104733d2dc6c706508074a7c /.github | |
| parent | 0184ba96d6087c6dca62ef6a996567e6d2e2bb9e (diff) | |
fix: Build PHP
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/coverity.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 5fb36fd..7db1177 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml | |||
| @@ -40,4 +40,3 @@ jobs: | |||
| 40 | https://scan.coverity.com/builds?project=jvoisin/snuffleupagus | 40 | https://scan.coverity.com/builds?project=jvoisin/snuffleupagus |
| 41 | env: | 41 | env: |
| 42 | TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} | 42 | TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} |
| 43 | |||