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.

Closed DAILLER Sylvain requested to merge isabelle_configure_realization1 into next 7 years ago

There are currently no pipelines.

To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.

Isabelle configure realization1

Activity

There are currently no pipelines.

Admin message

Isabelle configure realization1

Merge request reports

Activity

There are currently no pipelines.