Skip to content

Commit

Permalink
Use the latest available GNAT in the CI
Browse files Browse the repository at this point in the history
and not necessarily the one from the same day, in case of transient
GNAT build issues.

Ref. None
  • Loading branch information
andrestt committed Jul 16, 2024
1 parent 32972a9 commit 6e7495f
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions .gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,10 @@ anod_main:
- generic_anod_ci
- cat /tmp/ci_env.sh
- . /tmp/ci_env.sh
- anod build recordflux $ACI_TRACK_QUALIFIER
# Build recordflux with the latest available dependencies (but not
# necessarily from the same day) to avoid getting blocked by transient
# issues with GNAT etc.
- anod build recordflux $ACI_TRACK_QUALIFIER --latest
- eval `anod printenv recordflux`
- rflx --version
- cp -r /tmp/it/wave/log .
Expand All @@ -159,7 +162,10 @@ anod_doc:
- generic_anod_ci
- cat /tmp/ci_env.sh
- . /tmp/ci_env.sh
- anod build recordflux-doc $ACI_TRACK_QUALIFIER
# Build recordflux with the latest available dependencies (but not
# necessarily from the same day) to avoid getting blocked by transient
# issues with GNAT etc.
- anod build recordflux-doc $ACI_TRACK_QUALIFIER --latest
- cp -r /tmp/it/wave/log .
artifacts:
paths:
Expand Down

0 comments on commit 6e7495f

Please sign in to comment.