Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
380 workflow runs
380 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add dependency analysis features Run Backend CI #1065: Pull request #910 synchronize by AndreaKe
21m 5s
21m 5s
Adding more permission simplifier rules Scala CI #1306: Pull request #924 synchronize by jackstodart
8m 56s jackstodart:more_simplifier
jackstodart:more_simplifier
8m 56s
Adding more permission simplifier rules Run Backend CI #1064: Pull request #924 synchronize by jackstodart
21m 6s
21m 6s
Adding more permission simplifier rules Scala CI #1305: Pull request #924 opened by jackstodart
11m 4s jackstodart:more_simplifier
jackstodart:more_simplifier
11m 4s
Adding more permission simplifier rules Run Backend CI #1063: Pull request #924 opened by jackstodart
21m 47s
21m 47s
Properly handle InhaleExhale assertions inside QP desugaring code (#923) Scala CI #1304: Commit 81a5afe pushed by marcoeilers
8m 1s master
master
8m 1s
Properly handle InhaleExhale assertions inside QP desugaring code (#923) Run Backend CI #1062: Commit 81a5afe pushed by marcoeilers
20m 20s master
master
20m 20s
Properly handle InhaleExhale assertions inside QP desugaring code (#923) Update Silver Submodule #299: Commit 81a5afe pushed by marcoeilers
11s master
master
11s
Properly handle InhaleExhale assertions inside QP desugaring code Scala CI #1303: Pull request #923 opened by marcoeilers
9m 25s meilers_fix_silicon_994
meilers_fix_silicon_994
9m 25s
Properly handle InhaleExhale assertions inside QP desugaring code Run Backend CI #1061: Pull request #923 opened by marcoeilers
21m 32s
21m 32s
Comprehensive backend-independent counterexamples Scala CI #1302: Pull request #883 synchronize by marcoeilers
6m 37s meilers_raoul_counterexamples
meilers_raoul_counterexamples
6m 37s
Comprehensive backend-independent counterexamples Run Backend CI #1060: Pull request #883 synchronize by marcoeilers
18m 36s
18m 36s
Comprehensive backend-independent counterexamples Scala CI #1301: Pull request #883 synchronize by marcoeilers
11m 20s meilers_raoul_counterexamples
meilers_raoul_counterexamples
11m 20s
Comprehensive backend-independent counterexamples Run Backend CI #1059: Pull request #883 synchronize by marcoeilers
3m 42s
3m 42s
Comprehensive backend-independent counterexamples Scala CI #1300: Pull request #883 synchronize by marcoeilers
10m 54s meilers_raoul_counterexamples
meilers_raoul_counterexamples
10m 54s
Comprehensive backend-independent counterexamples Run Backend CI #1058: Pull request #883 synchronize by marcoeilers
3m 23s
3m 23s
Add dependency analysis features Scala CI #1299: Pull request #910 synchronize by AndreaKe
10m 4s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
10m 4s
Add dependency analysis features Run Backend CI #1057: Pull request #910 synchronize by AndreaKe
21m 33s
21m 33s
Add dependency analysis features Scala CI #1298: Pull request #910 synchronize by AndreaKe
8m 31s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
8m 31s
Add dependency analysis features Run Backend CI #1056: Pull request #910 synchronize by AndreaKe
21m 18s
21m 18s
Add dependency analysis features Run Backend CI #1055: Pull request #910 synchronize by AndreaKe
19m 35s
19m 35s
Add dependency analysis features Scala CI #1297: Pull request #910 synchronize by AndreaKe
10m 5s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
10m 5s
Add dependency analysis features Scala CI #1296: Pull request #910 synchronize by AndreaKe
11m 38s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
11m 38s
Add dependency analysis features Run Backend CI #1054: Pull request #910 synchronize by AndreaKe
19m 53s
19m 53s
Comprehensive backend-independent counterexamples Scala CI #1295: Pull request #883 synchronize by marcoeilers
9m 49s meilers_raoul_counterexamples
meilers_raoul_counterexamples
9m 49s