Skip to content
Deploy to github pages

update Lean version and replace std to batteries #59

Sign in to view logs

update Lean version and replace std to batteries

update Lean version and replace std to batteries #59

Annotations

1 warning

This job was skipped