Lean Action CI

Rename project from pyl to pyle (python lean evaluator) #1

Sign in to view logs

Triggered via push November 2, 2025 19:04

offendo

main

Status Success

Total duration 2m 9s

Artifacts –

lean_action_ci.yml

on: push