Mentions légales du service

Skip to content
Snippets Groups Projects

Adapt to https://github.com/math-comp/math-comp/pull/1110

Merged Adapt to https://github.com/math-comp/math-comp/pull/1110
mc_1110 into master
Merged Pierre Roux requested to merge mc_1110 into master

Adapt to https://github.com/math-comp/math-comp/pull/1110

This should be backward compatible, CI will confirm.

Merge request reports

Pipeline #878984 passed

Stage: build
    Stage: test

      Pipeline passed for 453cb586 on mc_1110

      Approval is optional

      Merged by Guillaume MelquiondGuillaume Melquiond 1 year ago (Nov 3, 2023 1:41pm UTC)

      Merge details

      • Changes merged into master with c2fa060e.
      • Deleted the source branch.

      Pipeline #878996 passed

      Stage: build
        Stage: test
          Stage: deploy

            Pipeline passed for c2fa060e on master

            Activity

            Filter activity
            • Approvals
            • Assignees & reviewers
            • Comments (from bots)
            • Comments (from users)
            • Commits & branches
            • Edits
            • Labels
            • Lock status
            • Mentions
            • Merge request status
            • Tracking
            Please register or sign in to reply