Skip to content

feat(CI): declarations diff in Lean #2755

feat(CI): declarations diff in Lean

feat(CI): declarations diff in Lean #2755

Triggered via pull request March 2, 2025 18:31
Status Success
Total duration 21s
Artifacts

actionlint.yml

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

Annotations

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