Fix typo in verision tagging CI.
Signed-off-by: Henner Zeller <h.zeller@acm.org>
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8242d83..95737de 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -95,7 +95,7 @@
- name: Tag with Makefile version if not already.
run: |
git config --local user.name "Development Bot"
- git config --local user.email f4pga-dev@chipsalliance.org"
+ git config --local user.email "f4pga-dev@chipsalliance.org"
# We want to tag whenever the version in the Makefile changes.
# So extract the hash of when the current version was entered.
diff --git a/Makefile b/Makefile
index d3520b8..392f966 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@
# The CI will automatically tag the release with v${PLLUGIN_VERSION}
#
# TODO: pass as -D to gcc so that modules can provide e.g. --version flags.
-PLUGIN_VERSION = 1.20230419
+PLUGIN_VERSION = 1.20230425
PLUGIN_LIST := fasm xdc params sdc ql-iob design_introspection integrateinv ql-qlf systemverilog uhdm dsp-ff
PLUGINS := $(foreach plugin,$(PLUGIN_LIST),$(plugin).so)
