diff options
| author | Romain GARBAGE <romain.garbage@inria.fr> | 2025-10-29 14:42:38 +0100 |
|---|---|---|
| committer | Romain GARBAGE <romain.garbage@inria.fr> | 2025-10-29 16:23:51 +0100 |
| commit | 93d7cf6c21870c6f7f89fc4d306ae8106e147f21 (patch) | |
| tree | b195052c3dac988c4465414d5936ac31952eae91 /.forgejo | |
| parent | bf921f7e84953f940a63b81c2ec9804d5ccaf586 (diff) | |
forgejo-actions: Separate archival checker.
The archival checker produces output even when the package style is
valid. It is now excluded from the relevant output used to check lint
warnings.
* .forgejo/workflows/lint.yml (lint-new-modified): Separate archival
checker.
Diffstat (limited to '.forgejo')
| -rw-r--r-- | .forgejo/workflows/lint.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.forgejo/workflows/lint.yml b/.forgejo/workflows/lint.yml index 626305c..702b348 100644 --- a/.forgejo/workflows/lint.yml +++ b/.forgejo/workflows/lint.yml | |||
| @@ -25,7 +25,7 @@ jobs: | |||
| 25 | # Hide time-machine STDERR | 25 | # Hide time-machine STDERR |
| 26 | export PACKAGES=$(guix time-machine -C channels-head.scm -- diff -r -C channels-base.scm 2> /dev/null) | 26 | export PACKAGES=$(guix time-machine -C channels-head.scm -- diff -r -C channels-base.scm 2> /dev/null) |
| 27 | # Lint all packages at once | 27 | # Lint all packages at once |
| 28 | if [[ -z "$PACKAGES" ]] ; then echo "No packages to lint" && exit 0 ; else echo "Linting $PACKAGES" ; export LINT="$(guix time-machine -C channels-head.scm -- lint $PACKAGES)" ; fi | 28 | if [[ -z "$PACKAGES" ]] ; then echo "No packages to lint" && exit 0 ; else echo "Linting $PACKAGES" ; export LINT="$(guix time-machine -C channels-head.scm -- lint -x archival $PACKAGES)" ; guix time-machine -C channels-head.scm -- lint -c archival $PACKAGES ; fi |
| 29 | # Exit with error when lint writes on STDOUT. | 29 | # Exit with error when lint writes on STDOUT. |
| 30 | if [[ -z "$LINT" ]] ; then echo "No lint warning for packages $PACKAGES" ; else echo "$LINT" && exit 1 ; fi | 30 | if [[ -z "$LINT" ]] ; then echo "No lint warning for packages $PACKAGES" ; else echo "$LINT" && exit 1 ; fi |
| 31 | 31 | ||