Skip to content
Scala CI

Add necessary framework to enable selective verification of methods in viper #1046

Sign in to view logs

Add necessary framework to enable selective verification of methods in viper

Add necessary framework to enable selective verification of methods in viper #1046

This workflow is awaiting approval from a maintainer in #843
Triggered via pull request February 11, 2025 10:31
@LaurenzVLaurenzV
opened #843
LaurenzV:separate
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #843

scala.yml

on: pull_request
Matrix: test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in