Skip to content
Check for copyright header

chore: work with newer Lean core #7

Sign in to view logs

chore: work with newer Lean core

chore: work with newer Lean core #7

Triggered via pull request April 8, 2024 19:45
@david-christiansendavid-christiansen
opened #75
bump-nightly
Status Success
Total duration 13s
Artifacts –

copyright-header.yml

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