chore: fixed `Gate` after update #5

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Re-run triggered October 1, 2024 13:34

hargoniX

#1

luisacicolini:updated-lean

Status Success

Total duration 29s

Artifacts –

lean_action_ci.yml

on: pull_request