From e5baf4732544a5859016f876564b63dd3756a699 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 20 Nov 2023 21:34:17 -0800 Subject: [PATCH] fetch history and tags for making version.js --- .github/workflows/coq-docker.yml | 2 ++ .github/workflows/deploy-html-fast.yml | 2 ++ 2 files changed, 4 insertions(+) diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index 8738e729c3..8bf6378a32 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -32,6 +32,8 @@ jobs: - uses: actions/checkout@v4 with: submodules: recursive + fetch-depth: 0 # Fetch all history for all tags and branches, for fiat-html/version.js + tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version - name: echo host build params run: etc/ci/describe-system-config.sh - name: echo container build params diff --git a/.github/workflows/deploy-html-fast.yml b/.github/workflows/deploy-html-fast.yml index f34a53df01..8078a28ac6 100644 --- a/.github/workflows/deploy-html-fast.yml +++ b/.github/workflows/deploy-html-fast.yml @@ -11,6 +11,8 @@ jobs: - uses: actions/checkout@v4 with: submodules: recursive + fetch-depth: 0 # Fetch all history for all tags and branches, for fiat-html/version.js + tags: true # Fetch all tags as well, `fetch-depth: 0` might be sufficient depending on Git version - run: make -f Makefile.js-html EXTRA_HTML_VERSION_INFO="-manual" fiat-html/version.js - name: backup .gitignore run: mv .gitignore{,.bak}