-
Sylvain Dailler authored
Also fix induction_pr_arg so that it adds the right attribute inside the goal.
c511399b
To find the state of this project's repository at the time of any of these versions, check out the tags.
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
Also fix induction_pr_arg so that it adds the right attribute inside the goal.