Bump version and make master job

Add uninterpreted `Map` implementation to `Prelude.lean` (#4734) #1167

Sign in to view logs

Summary
Jobs
- Version Bump
Run details
- Usage
- Workflow file

Triggered via push January 20, 2025 13:06

automergerpr-permission-manager[bot]

develop

Status Success

Total duration 20s

Artifacts –

develop.yml

on: push