Skip to content

Fix error with specifying rev to builtins.fetchGit when creating cache#366

Merged
angerman merged 1 commit intoinput-output-hk:masterfrom
cdepillabout:fix-error-specifying-rev-on-fetchgit
Dec 13, 2019
Merged

Fix error with specifying rev to builtins.fetchGit when creating cache#366
angerman merged 1 commit intoinput-output-hk:masterfrom
cdepillabout:fix-error-specifying-rev-on-fetchgit

Commits

Commits on Dec 13, 2019