Skip to content
Check workflows

test: decl diff in lean #2815

Sign in to view logs

test: decl diff in lean

test: decl diff in lean #2815

Triggered via pull request March 3, 2025 23:09
@adomaniadomani
synchronize #22497
test/lean_implementation_decl_diff
Status Success
Total duration 24s
Artifacts –

actionlint.yml

on: pull_request
actionlint
15s
actionlint
check workflows generated by build.in.yml
10s
check workflows generated by build.in.yml
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
check workflows generated by build.in.yml
Input 'fail_on_error' has been deprecated with message: Deprecated, use `fail_level` instead.
actionlint
Input 'fail_on_error' has been deprecated with message: Deprecated, use `fail_level` instead.