reduce l4v/Isabelle image size #97

Sign in to view logs

Triggered via pull request February 10, 2024 10:32

lsf37

synchronize #67

isabelle-update

Status Success

Total duration 29s

Artifacts –

push.yml

on: pull_request