Extract NuSMV errors
Extracting NuSMV errors and printing them in the severe log level. Updating the CUI. Now we have this log level options : severe|warning|info|config|fine|finest
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/
On or around 8:00am on Wednesday the 17th of July, git.uwaterloo.ca will be restarted to apply security and application patches. Note this is last release 16 patch before moving to release 17 next month (August), please review deprecations and breaking changes: https://gitlab-com.gitlab.io/cs-tools/gitlab-cs-tools/what-is-new-since/?tab=deprecations&minRemovalVersion=17.00&maxRemovalVersion=17.01
Extracting NuSMV errors and printing them in the severe log level. Updating the CUI. Now we have this log level options : severe|warning|info|config|fine|finest