Skip to content

Actions: gradual-verification/silver-gv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge GV changes with modern viper silver Scala CI #4: Pull request #5 synchronize by ruiz-m
March 7, 2025 19:13 6m 37s ruiz-m:merge-against-upstream
ruiz-m:merge-against-upstream
March 7, 2025 19:13 6m 37s
Merge GV changes with modern viper silver Scala CI #3: Pull request #5 synchronize by ruiz-m
March 5, 2025 20:09 7m 45s ruiz-m:merge-against-upstream
ruiz-m:merge-against-upstream
March 5, 2025 20:09 7m 45s
Merge GV changes with modern viper silver Scala CI #2: Pull request #5 synchronize by ruiz-m
March 5, 2025 19:54 7m 37s ruiz-m:merge-against-upstream
ruiz-m:merge-against-upstream
March 5, 2025 19:54 7m 37s
Merge GV changes with modern viper silver Scala CI #1: Pull request #5 opened by ruiz-m
February 27, 2025 19:39 10m 40s ruiz-m:merge-against-upstream
ruiz-m:merge-against-upstream
February 27, 2025 19:39 10m 40s