Skip to content

Commit 81bf4e5

Browse files
author
Release Manager
committed
gh-36668: CI Linux: Fix "optional", "experimental" jobs
<!-- ^^^^^ Please provide a concise, informative and self-explanatory title. Don't put issue numbers in there, do this in the PR body below. For example, instead of "Fixes #1234" use "Introduce new method to calculate 1+1" --> <!-- Describe your changes here in detail --> <!-- Why is this change required? What problem does it solve? --> <!-- If this PR resolves an open issue, please link to it here. For example "Fixes #12345". --> Fixes #36667 <!-- If your change requires a documentation PR, please link it appropriately. --> ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> <!-- If your change requires a documentation PR, please link it appropriately --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> <!-- Feel free to remove irrelevant items. --> - [x] The title is concise, informative, and self-explanatory. - [ ] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on - #12345: short description why this is a dependency - #34567: ... --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> URL: #36668 Reported by: Matthias Köppe Reviewer(s): Kwankyu Lee, Matthias Köppe
2 parents dfde868 + 9c8f3b6 commit 81bf4e5

File tree

3 files changed

+7
-4
lines changed

3 files changed

+7
-4
lines changed

.github/workflows/docker.yml

+3
Original file line numberDiff line numberDiff line change
@@ -190,6 +190,9 @@ jobs:
190190
echo "DOCKER_PUSH_REPOSITORY=$(echo ${{ inputs.docker_push_repository }} | tr "[:upper:]" "[:lower:]")" >> $GITHUB_ENV
191191
echo "DOCKER_CONFIG_FILE=$HOME/.docker/config.json" >> $GITHUB_ENV
192192
fi
193+
194+
- name: Determine Docker tags to use
195+
run: |
193196
# This line needs to be run before the step "Merge CI fixes from sagemath/sage".
194197
DOCKER_TAG="$(git describe --dirty --always)"
195198
echo "DOCKER_TAG=$DOCKER_TAG" >> $GITHUB_ENV

build/pkgs/configure/checksums.ini

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
tarball=configure-VERSION.tar.gz
2-
sha1=41ec9a0bdf6e5982204b26ce2593e4b5a1863c96
3-
md5=8ea80ef7438ed62345de677dc921af2e
4-
cksum=2979893163
2+
sha1=e965180c957a340bb04576df39802f3a36d340e7
3+
md5=932bfcea357845fa9610dc698e2390d3
4+
cksum=2852244160
+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
be0b5cf887fefcdf31df70be0a62b10b7929f28c
1+
fb5b09d7f749e15c38ecb4ffe2de7b398e37f73f

0 commit comments

Comments
 (0)