Avoiding Viper functions in hashsets and as keys in hashmaps · viperproject/silver@0bfb804

Triggered via pull request November 6, 2025 12:30

synchronize #867

meilers_avoid_AST_hash

Status Success

Total duration 6m 52s

Artifacts 1

scala.yml

on: pull_request

Matrix: test

Produced during runtime

Name	Size	Digest
artifact Expired	8.78 MB	`sha256:55bd32d3e7b9a68c55c8902dcccefafd9d48c8794c6df4ed509efd0212ca1f9b`