Merge pull request #47 from docToolchain/release-3.1.2

Release 3.1.2
docToolchain · Nov 16, 2023 · 84ff012 · 84ff012
2 parents aa721d1 + 1749edc
commit 84ff012
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.1.1
+  DTC_VERSION: v3.1.2
 
 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.1.1
+  DTC_VERSION: v3.1.2
 
 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.1.1
+  DTC_VERSION: v3.1.2
 
 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: v2.2.1
+  DTC_VERSION: v3.1.2
 
 jobs:
   docker:
-Original file line number
+Diff line change
@@ Expand Up / @@ -11,7 +11,7 @@ on: @@
       workflow_dispatch: {}
     env:
-      DTC_VERSION: v3.1.1
+      DTC_VERSION: v3.1.2
     jobs:
       docker:
@@ Expand Down @@