Skip to content
Snippets Groups Projects
Verified Commit 6376e0ef authored by Justin Andresen's avatar Justin Andresen
Browse files

Use hash of `cabal.project` and `haskellToCoqCompiler.cabal` in GitHub actions cache #22

parent b43b3c1c
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment