Skip to content
Back to pull request #119

Section-retraction pairs #481

Sign in to view logs

Section-retraction pairs

Section-retraction pairs #481

Triggered via pull request October 13, 2023 18:27
@TashiWaldeTashiWalde
synchronize #119
TashiWalde:section-retraction
Status Success
Total duration 34s
Artifacts –

rzk.yml

on: pull_request
Check formalisations
26s
Check formalisations
Fit to window
Zoom out
Zoom in