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

0 Assignees

0 Reviewers

Request review from

Loading

Labels

0

None

0

None

Select labels

Manage project labels

Milestone

None

None

None

Time tracking

0

0 Participants

Loading