Skip to content
Scala CI

Merge pull request #719 from viperproject/optimize-termination-plugin #668

Sign in to view logs

Merge pull request #719 from viperproject/optimize-termination-plugin

Merge pull request #719 from viperproject/optimize-termination-plugin #668

Triggered via push July 12, 2023 17:19
@ArquintLArquintL
pushed 5babb18
master
Status Success
Total duration 12m 33s
Artifacts 1

scala.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
artifact Expired
7.9 MB