A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Commit 7a29b54a authored 3 weeks ago by PAULIN Nathan

Browse files

Merge branch 'production-esterel11' into 'master'

[sophia][esterel11] add kwollect metrics

See merge request !1258

parents d4850c58 ce189e2c

No related branches found

No related tags found

Checking pipeline status

Hide whitespace changes

Inline Side-by-side

Showing with 50 additions and 0 deletions

Please register or to comment

Admin message

Merge branch 'production-esterel11' into 'master'