Closed bobdoah closed 1 year ago
As per #13, I regenerated the checksum using dhall freeze
dhall freeze
The alternative imports should fix the GitHub action tests on PRs. In my case the failure is a demonstration of the original issue.
As per #13, I regenerated the checksum using
dhall freeze