Labels Milestones

A quick fix to prop 2.1, just to test #1

Open

laurentbartholdi wants to merge 1 commits from laurentbartholdi/rubin-lean4:fix-prop-2.1 into main

pull from: laurentbartholdi/rubin-lean4:fix-prop-2.1

merge into: amethyst:main

amethyst:main

amethyst:laurent-lost-commits

Conversation 0 Commits 1 Files Changed 1

laurentbartholdi commented 1 year ago

There is no content yet.

laurentbartholdi added 1 commit 1 year ago

6815874923 A quick fix to prop 2.1, just to test

This pull request can be merged automatically.

This branch is out-of-date with the base branch

You are not authorized to merge this pull request.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: amethyst/rubin-lean4#1

Write Preview

Loading…

Cancel

Save

There is no content yet.