diff options
| author | Florian Diebold <[email protected]> | 2020-10-23 14:25:22 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-10-23 14:28:02 +0100 |
| commit | baeb16e83f7b2beee8211e2c3ad5e4a7dc3a5434 (patch) | |
| tree | ee90a4710d4e3741dc7ce0e8baa1c8bb7616d35e /.github/workflows/publish.yml | |
| parent | dd8a75b2cf46a967b3449652fe17c19a8fcc4e41 (diff) | |
Improve Chalk debugging
- add panic context for the trait goal if CHALK_DEBUG is set
- print the Chalk program even if we're panicking
- log goal/solution while TLS is still set
Diffstat (limited to '.github/workflows/publish.yml')
0 files changed, 0 insertions, 0 deletions