Skip to content
.github/workflows/ci.yml

Start updating the name type, cleanup the names and the module abbrevs #38

Sign in to view logs

Start updating the name type, cleanup the names and the module abbrevs

Start updating the name type, cleanup the names and the module abbrevs #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lean
7m 54s
nix
8s
8m 2s