Lint Code Base

reduce l4v/Isabelle image size #105

Sign in to view logs

Triggered via pull request February 10, 2024 00:41

lsf37

opened #67

isabelle-update

Status Success

Total duration 1m 19s

Artifacts –

linter.yml

on: pull_request