Update checks · JavaDerek/unison@66dc5cb · GitHub
Skip to content

Commit 66dc5cb

Browse files
committed
Update checks
2 parents 71f5ddb + 818a2ba commit 66dc5cb

4 files changed

Lines changed: 7 additions & 7 deletions

File tree

Lines changed: 1 addition & 1 deletion

‎.github/workflows/proofs/tests.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
aa78b4414fad481f40a67d15f35f1ea6785113aecf57eae36ef7aa4e1d666697 7a39b8df88ef160e852c6aac30ee2a8bfdb8074b060d5afc8c72bf5f03d1f0a7 pass
1+
eb0911cb0f0b83ec9820b7b358ff9bb092446f7994cf27f0e8e0003aeed3b2ba 7a39b8df88ef160e852c6aac30ee2a8bfdb8074b060d5afc8c72bf5f03d1f0a7 pass
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
db7010da57782811905d149e110f18fd6beb779311f38fc27973347ae34276de 72c0b9bfd651515ecb3d3f4981a6bdb8c6d52eba2308cd11fea004d31941aeef pass
1+
bbe6cea33a6b1267fb7e98576b3e62f74903fd71be987564d54cb56a31109a0b 72c0b9bfd651515ecb3d3f4981a6bdb8c6d52eba2308cd11fea004d31941aeef pass

‎unison-cli/src/Unison/Main.hs‎

Lines changed: 4 additions & 4 deletions

0 commit comments

Comments
 (0)