Skip to content
Check for copyright header

chore: missing @[ext] attribute on monad transformer ext lemmas #6165

Sign in to view logs

chore: missing @[ext] attribute on monad transformer ext lemmas

chore: missing @[ext] attribute on monad transformer ext lemmas #6165

Triggered via pull request November 8, 2024 05:49
@kim-emkim-em
opened #6008
monad_ext
Status Success
Total duration 32s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
22s
check-lean-files
Fit to window
Zoom out
Zoom in