Skip to content
Check PR body for changelog convention

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

Sign in to view logs

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

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

Triggered via pull request November 8, 2024 06:31
@kim-emkim-em
synchronize #6008
monad_ext
Status Success
Total duration 17s
Billable time 1m
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
9s
check-pr-body
Fit to window
Zoom out
Zoom in