Skip to content

feat: add support for lean4checker #16

feat: add support for lean4checker

feat: add support for lean4checker #16

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

shellcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in