Exclude the `llvm_definition/dt` folder from bug reports

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Exclude the `llvm_definition/dt` folder from bug reports #98

Closed goodlyrottenapple closed 5 months ago

goodlyrottenapple commented 7 months ago

We (the haskell team) no longer need the llvm_definition/dt folder in the bug report, as we re-generate this locally when consuming the bug report. This will greatly reduce the size oft he bug reports and make them easier to share

jberthold commented 5 months ago

See https://github.com/runtimeverification/k/pull/4340, the folder is added in pyk code