Skip to content
hax

Merge pull request #117 from cryspen/update-hax--let-rec--empty-list-… #351

Sign in to view logs

Merge pull request #117 from cryspen/update-hax--let-rec--empty-list-…

Merge pull request #117 from cryspen/update-hax--let-rec--empty-list-… #351

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hax
12m 35s
12m 35s