.gitlab-ci.yml

@@ -6,6 +6,13 @@ include:
   - component: $CI_SERVER_FQDN/$CI_PROJECT_PATH/base_ci@$CI_COMMIT_SHA
     inputs:
       stage: test
+  - component: $CI_SERVER_FQDN/$CI_PROJECT_PATH/local_agda_deploy@$CI_COMMIT_SHA
+    inputs:
+      stage: deploy
+  - component: $CI_SERVER_FQDN/$CI_PROJECT_PATH/remote_agda_deploy@$CI_COMMIT_SHA
+    inputs:
+      agda_yml: https://git.resel.fr/openresel/templates/agda/-/raw/v1.1.5/Web_server_static.template.yml
+      stage: deploy
   - remote: "https://gitlab.com/to-be-continuous/semantic-release/-/raw/3.14.2/templates/gitlab-ci-semrel.yml"
 
 variables:

CHANGELOG.md

+## [2.2.1](https://git.resel.fr/openresel/templates/gitlab-ci/compare/2.2.0...2.2.1) (2025-07-01)
+
+
+### Bug Fixes
+
+* typo ([c3bbdfb](https://git.resel.fr/openresel/templates/gitlab-ci/commit/c3bbdfb03b81178a57ef995d71f129246f6f1c1d))
+
 # [2.2.0](https://git.resel.fr/openresel/templates/gitlab-ci/compare/2.1.0...2.2.0) (2025-06-03)