diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-05-27 17:55:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-27 17:55:57 +0200 |
commit | 61ddfa154bcfa522819781d23e40e984f38dfdeb (patch) | |
tree | 9ea66a6fb3fe926e5ac5e4d4afd21a4158c98e63 /.github/workflows/ci.yml | |
parent | 940e9eb8dd6deacb2e41aca91d65bd0e616011d6 (diff) | |
parent | d16a1994fb6048d4ea48090c5aabafb7ad89c84f (diff) |
Merge pull request #8399 from tweag/fix-chrooted-stores-error-path
Properly report build errors on chrooted stores
Diffstat (limited to '.github/workflows/ci.yml')
0 files changed, 0 insertions, 0 deletions