PR #989 Build with nightly

Build with nightly #989

cipher1024 merged 2 commits into master from build-with-nightly

chore(build): build against Lean 3.5 nightly build

5c8066c4

setup a cron job to build against 3.5.0

2bbb2501

cipher1024 added WIP

cipher1024 requested a review 6 years ago

cipher1024 merged 505f748b into master 6 years ago

cipher1024 deleted the build-with-nightly branch 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

WIP

Milestone

No milestone