Skip to content
Check PR title for commit convention

feat: alignment of lemmas about monadic functions on List/Array/Vector #14727

Sign in to view logs

feat: alignment of lemmas about monadic functions on List/Array/Vector

feat: alignment of lemmas about monadic functions on List/Array/Vector #14727

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-pr-title
3s
3s