Skip to content

Actions: viperproject/silver

Actions

Run Backend CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
carbon_silicon_ci.yml
170 workflow runs
170 workflow runs

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
Fix compiler warnings and treat them as errors Run Backend CI #1097: Pull request #926 synchronize by jcp19
25m 20s
25m 20s
Fix compiler warnings and treat them as errors Run Backend CI #1096: Pull request #926 synchronize by jcp19
31m 30s
31m 30s
Fix compiler warnings and treat them as errors Run Backend CI #1095: Pull request #926 synchronize by jcp19
31m 5s
31m 5s
Bump actions/checkout from 6 to 7 in the all group across 1 directory Run Backend CI #1094: Pull request #919 synchronize by dependabot Bot
29m 55s
29m 55s
Merge branch 'master' of https://github.com/viperproject/silver Run Backend CI #1093: Commit f02e701 pushed by marcoeilers
29m 35s master
master
29m 35s
Release notes for Release 2026.8 (#931) Run Backend CI #1092: Commit 7b96045 pushed by marcoeilers
29m 54s master
master
29m 54s
Release notes for Release 2026.8 Run Backend CI #1091: Pull request #931 opened by marcoeilers
2d 7h 46m 4s
2d 7h 46m 4s
Updating test annotations for Z3 4.16.0 (#930) Run Backend CI #1090: Commit 02e25d9 pushed by marcoeilers
30m 7s master
master
30m 7s
Updating test annotations for Z3 4.16.0 Run Backend CI #1089: Pull request #930 opened by marcoeilers
24m 41s
24m 41s
Adding test for Silicon issue #996 (#929) Run Backend CI #1088: Commit bc1d779 pushed by marcoeilers
17m 58s master
master
17m 58s
Test suite for magic wand snap functions. Run Backend CI #1087: Pull request #796 synchronize by marcoeilers
21m 46s
21m 46s
Adding test for Silicon issue #996 Run Backend CI #1086: Pull request #929 opened by marcoeilers
23m 42s
23m 42s
Comprehensive backend-independent counterexamples (#883) Run Backend CI #1085: Commit 802516a pushed by marcoeilers
22m 51s master
master
22m 51s
Comprehensive backend-independent counterexamples Run Backend CI #1084: Pull request #883 synchronize by marcoeilers
22m 25s
22m 25s
Comprehensive backend-independent counterexamples Run Backend CI #1083: Pull request #883 synchronize by marcoeilers
23m 11s
23m 11s
Comprehensive backend-independent counterexamples Run Backend CI #1082: Pull request #883 synchronize by marcoeilers
17m 3s
17m 3s
Comprehensive backend-independent counterexamples Run Backend CI #1081: Pull request #883 synchronize by marcoeilers
22m 18s
22m 18s
Comprehensive backend-independent counterexamples Run Backend CI #1080: Pull request #883 synchronize by marcoeilers
21m 37s
21m 37s
Run Backend CI Run Backend CI #1079: by marcoeilers
21m 3s master
master
21m 3s
Adding more permission simplifier rules Run Backend CI #1078: Pull request #924 synchronize by marcoeilers
22m 20s
22m 20s
Adapt test annotations for Carbon QP exhaleExt (#927) Run Backend CI #1077: Commit a25a749 pushed by marcoeilers
21m 10s master
master
21m 10s
Adapt test annotations for Carbon QP exhaleExt Run Backend CI #1076: Pull request #927 opened by marcoeilers
22m 34s
22m 34s
Fix compiler warnings and treat them as errors Run Backend CI #1075: Pull request #926 synchronize by jcp19
22m 34s
22m 34s
Fix compiler warnings and treat them as errors Run Backend CI #1074: Pull request #926 opened by jcp19
3m 14s
3m 14s
Bump actions/checkout from 6 to 7 in the all group across 1 directory Run Backend CI #1073: Pull request #919 synchronize by dependabot Bot
21m 58s
21m 58s