Bump version and make master job

Add uninterpreted `Set` implementation to `Prelude.lean` (#4738) #1168

Sign in to view logs

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

Triggered via push January 20, 2025 17:25

automergerpr-permission-manager[bot]

develop

Status Success

Total duration 20s

Artifacts –

develop.yml

on: push