Merge branch 'master' into dependency-catalog

Virtlink · Virtlink · commit 2c2d9e7ad760 · 2024-07-24T17:19:57.000+02:00
# Conflicts:
#	build.gradle.kts
#	plugin/build.gradle.kts
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,5 @@
 #!groovy
-@Library('metaborg.jenkins.pipeline@develop') _
+@Library('metaborg.jenkins.pipeline') _
 
 gradlePipeline(
   buildOtherBranch: false,
diff --git a/gradle.properties b/gradle.properties
@@ -1,3 +1,3 @@
 # These properties are only used when this repository is built stand-alone, outside of devenv.
 org.gradle.jvmargs=-Xms512M -Xmx2G -Xss8M
-systemProp.spoofax2Version=2.5.20
+systemProp.spoofax2Version=2.5.21
