Bump version and make master job

Allow special characters in generated Lean 4 identifiers (#4729) #1161

Sign in to view logs

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

Triggered via push January 8, 2025 19:25

automergerpr-permission-manager[bot]

develop

Status Success

Total duration 28s

Artifacts –

develop.yml

on: push