Check for copyright header

doc: add doc-string for LawfulMonad/Applicative #1259

Sign in to view logs

Triggered via pull request April 17, 2024 04:39

kim-em

synchronize #3859

docs/LawfulMonad

Status Success

Total duration 24s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files