Skip to content
Linting and formatting

Jmafoster1/ignore cycles dafni #627

Sign in to view logs

Jmafoster1/ignore cycles dafni

Jmafoster1/ignore cycles dafni #627

Triggered via pull request February 17, 2025 08:31
@jmafoster1jmafoster1
opened #307
jmafoster1/ignore-cycles-dafni
Status Success
Total duration 1m 6s
Artifacts 1

lint-format.yaml

on: pull_request
MegaLinter
56s
MegaLinter
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
MegaLinter reports Expired
3.59 KB
sha256:453530535d0e513cd3c13e64f2c992056dfabb6b22d8a6aec7bc00cf6a2ee63a