Check for copyright header

doc: docstrings for List.mapM and friends #1150

Sign in to view logs

Triggered via pull request April 11, 2024 05:46

nomeata

synchronize #3867

joachim/docs-mapM

Status Success

Total duration 24s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files