Skip to content

Commit

Permalink
CI: validate jobs also check stdlib
Browse files Browse the repository at this point in the history
validate-template is implemented such that we don't need to modify it,
we just add dependencies.
  • Loading branch information
SkySkimmer committed Dec 18, 2024
1 parent 4feee16 commit a2c1c2a
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion .gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -163,7 +163,7 @@ before_script:

# set "needs" when using
.validate-template:
stage: build-1
stage: build-2
interruptible: true
extends: .auto-use-tags
needs:
Expand Down Expand Up @@ -577,8 +577,10 @@ validate:base:
extends: .validate-template
needs:
- build:base
- library:ci-stdlib
only: *full-ci

# we currently don't have a stdlib+32bit job
validate:base+32bit:
extends: .validate-template
needs:
Expand All @@ -592,6 +594,7 @@ validate:edge+flambda:
image: $EDGE_IMAGE
needs:
- build:edge+flambda
- library:ci-stdlib+flambda
variables:
OPAM_VARIANT: "+flambda"
only: *full-ci
Expand Down

0 comments on commit a2c1c2a

Please sign in to comment.