Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

R

Refinedrust Dev
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

!67

Bump to Iris 4.3.0

Review changes
Download
Patches
Plain diff

Merged Bump to Iris 4.3.0

lafeychine/iris-4.3 into main

Overview 24
Commits 9
Pipelines 12
Changes 61

Merged Vincent Lafeychine requested to merge lafeychine/iris-4.3 into main 3 weeks ago

Overview 24
Commits 9
Pipelines 12
Changes 61

This MR upgrade to the latest version of Iris (4.3.0) and Rocq (8.20.1), and updates Nix/Opam accordingly.

Merge request reports

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

0 Assignees

0 Reviewers

Request review from

Loading

Labels

0

None

0

None

Select labels

Manage project labels

Milestone

None

None

None

Time tracking

No estimate or time spent

0

0 Participants

Loading