Kani Format Check

[Lean] Rename user-facing options from Aeneas to Lean #8550

Sign in to view logs

Triggered via pull request October 22, 2024 17:20

zhassan-aws

opened #3630

zhassan-aws:aeneas-lean

Status Success

Total duration 4m 28s

Artifacts –

format-check.yml

on: pull_request