Skip to content

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

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

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

Triggered via push July 3, 2024 09:00
Status Success
Total duration 10m 0s
Artifacts

nix.yml

on: push
Fit to window
Zoom out
Zoom in