darcs

Patch 2215 ci: fix primary key for caching dist-newstyle

Title ci: fix primary key for caching dist-newstyle
Superseder Nosy List bfrk
Related Issues
Status accepted Assigned To
Milestone

Created on 2021-11-04.13:50:58 by bfrk, last changed 2022-12-31.13:16:24 by ganesh.

Files
File name Status Uploaded Type Edit Remove
ci_-fix-primary-key-for-caching-dist_newstyle.dpatch bfrk, 2021-11-04.13:50:58 application/x-darcs-patch
patch-preview.txt bfrk, 2021-11-04.13:50:57 text/x-darcs-patch
See mailing list archives for discussion on individual patches.
Messages
msg22918 (view) Author: bfrk Date: 2021-11-04.13:50:58
1 patch for repository http://darcs.net/screened:

patch c9e84986ee0bb9ad3708039719a61b2fe3b7f8b2
Author: Ben Franksen <ben.franksen@online.de>
Date:   Thu Nov  4 11:50:43 CET 2021
  * ci: fix primary key for caching dist-newstyle

  Cabal will re-compile everything if the build plan has changed so we also
  need add this file to the hash.
Attachments
History
Date User Action Args
2021-11-04 13:50:58bfrkcreate
2021-11-04 13:51:38bfrksetstatus: needs-screening -> needs-review
2022-06-13 08:43:24bfrksetstatus: needs-review -> accepted-pending-tests
2022-12-31 13:16:24ganeshsetstatus: accepted-pending-tests -> accepted