Coq Platform 2021.02.0 for Coq 8.13.1
Automation access tokens are expiring. If you do not use automation that relies on a personal, group or project access token, this message can be safely ignored.
For more information, see https://about.gitlab.com/blog/2023/10/25/access-token-lifetime-limits/
Coq Platform 2021.02.0 for Coq 8.13.1