Generalizing `AnnotationBasedTestSuite` to allow custom `AnnotatedTestInput`s · viperproject/silver@2baea05

Triggered via pull request March 31, 2025 12:02

ArquintL

opened #862

Status Success

Total duration 7m 44s

Artifacts 1

scala.yml

on: pull_request

Matrix: test

Produced during runtime

Name	Size	Digest
artifact	8.24 MB	`sha256:bf024aac16c696faffbaaa1a97077bd9302bd2b9f0e4db66fb4356b81eddc7ae`