Skip to content
Bump version and make master job

Allow including lemmas dynamically into APRProver (#4681) #1138

Sign in to view logs

Allow including lemmas dynamically into APRProver (#4681)

Allow including lemmas dynamically into APRProver (#4681) #1138

Triggered via push November 21, 2024 13:44
@rv-jenkinsrv-jenkins
pushed 8aade39
develop
Status Success
Total duration 27s
Artifacts –

develop.yml

on: push
Version Bump
18s
Version Bump
Fit to window
Zoom out
Zoom in