Skip to content

feat: add support for lean4checker #15

feat: add support for lean4checker

feat: add support for lean4checker #15

Triggered via pull request May 10, 2024 12:20
Status Failure
Total duration 21s
Artifacts

shellcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in