Remove `EAsSet[E]` and `WAsSet[W]` traits in `Transformers.scala` to address IntelliJ error · runtimeverification/k@48bee2d

Triggered via pull request December 4, 2023 05:17

edited #3840

transformer

Status Success

Total duration 54m 24s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	147 MB