Generalized Proofmode Merger · Milestones · Iris / Iris · GitLab

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in / Register

Iris
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributors
- Graph
- Compare
Issues 168
- Issues 168
- List
- Boards
- Service Desk
- Milestones
Merge requests 24
- Merge requests 24
CI/CD
- CI/CD
- Pipelines
- Jobs
- Schedules
Deployments
- Deployments
- Releases
Analytics
- Analytics
- Value stream
- CI/CD
- Repository
Wiki
- Wiki
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards

Collapse sidebar

Iris
Iris
Milestones
Generalized Proofmode Merger

Closed

Milestone

Generalized Proofmode Merger

Things to handle before we merge generalized proofmode to master

Issues 11
Merge requests 10
Participants 3
Labels 1

100% complete

100%

Start date

No start date

None

Due date

No due date

11

Issues 11 New issue

Open: 0 Closed: 11

10

Merge requests 10

Open: 0 Closed: 1 Merged: 9

0

Releases

None

Reference: iris/iris%"Generalized Proofmode Merger"