Lean Action CI

Adjust old proof for generalSoundness_of_soundness #31

Sign in to view logs

Triggered via push March 3, 2025 14:04

nlohrer

main

Status Success

Total duration 4m 30s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lean_action_ci.yml

on: push