Merge pull request #58 from docToolchain/3.3.1

Release 3.3.1
docToolchain · Mar 1, 2024 · 1d1d458 · 1d1d458
2 parents 7947484 + 103af18
commit 1d1d458
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/azure-build.yml b/.github/workflows/azure-build.yml
@@ -11,7 +11,7 @@ on:
  workflow_dispatch: {}
 
 env:
- DTC_VERSION: v3.3
+ DTC_VERSION: v3.3.1
 
 jobs:
  docker:

diff --git a/.github/workflows/jenkins-ssh-agent-build.yml b/.github/workflows/jenkins-ssh-agent-build.yml
@@ -11,7 +11,7 @@ on:
  workflow_dispatch: {}
 
 env:
- DTC_VERSION: v3.3
+ DTC_VERSION: v3.3.1
 
 jobs:
  docker:

diff --git a/.github/workflows/standard-build.yml b/.github/workflows/standard-build.yml
@@ -11,7 +11,7 @@ on:
  workflow_dispatch: {}
 
 env:
- DTC_VERSION: v3.3
+ DTC_VERSION: v3.3.1
 
 jobs:
  docker:

diff --git a/.github/workflows/standard-with-pandoc-build.yml b/.github/workflows/standard-with-pandoc-build.yml
@@ -11,7 +11,7 @@ on:
  workflow_dispatch: {}
 
 env:
- DTC_VERSION: v3.3
+ DTC_VERSION: v3.3.1
 
 jobs:
  docker: