Skip to content

Actions: viperproject/silver

Actions

Run Backend CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
carbon_silicon_ci.yml
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix all compiler warnings Run Backend CI #817: Pull request #848 opened by jcp19
February 21, 2025 16:58 7m 50s
February 21, 2025 16:58 7m 50s
fix pretty printing of termination measures (#847) Run Backend CI #816: Commit 9004d4c pushed by jcp19
February 21, 2025 08:37 20m 17s master
master
February 21, 2025 08:37 20m 17s
Fix pretty printing of conditional termination measures Run Backend CI #815: Pull request #847 opened by jcp19
February 20, 2025 15:13 20m 38s
February 20, 2025 15:13 20m 38s
Fix Macro Hover + Red beams support Run Backend CI #814: Pull request #840 synchronize by 7i6ht
February 16, 2025 19:31 19m 22s
February 16, 2025 19:31 19m 22s
Test for Silicon issue 410 Run Backend CI #813: Pull request #846 opened by marcoeilers
February 14, 2025 18:22 13m 34s
February 14, 2025 18:22 13m 34s
Add formatter for the parse AST Run Backend CI #812: Pull request #820 synchronize by LaurenzV
February 14, 2025 12:55 20m 33s
February 14, 2025 12:55 20m 33s
Add formatter for the parse AST Run Backend CI #811: Pull request #820 synchronize by LaurenzV
February 14, 2025 12:39 20m 11s
February 14, 2025 12:39 20m 11s
Add formatter for the parse AST Run Backend CI #810: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:08 19m 40s
February 14, 2025 10:08 19m 40s
Add formatter for the parse AST Run Backend CI #809: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:01 19m 50s
February 14, 2025 10:01 19m 50s
Add formatter for the parse AST Run Backend CI #808: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:29 19m 30s
February 13, 2025 11:29 19m 30s
Add formatter for the parse AST Run Backend CI #807: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:28 1m 39s
February 13, 2025 11:28 1m 39s
Add formatter for the parse AST Run Backend CI #806: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:24 1m 35s
February 13, 2025 11:24 1m 35s
Adding test for Carbon issue #420 (#845) Run Backend CI #805: Commit dbb955d pushed by marcoeilers
February 11, 2025 13:08 21m 59s master
master
February 11, 2025 13:08 21m 59s
Test for Carbon issue 420 Run Backend CI #804: Pull request #845 opened by marcoeilers
February 11, 2025 12:48 20m 16s
February 11, 2025 12:48 20m 16s
Test for Carbon issue 355 (#844) Run Backend CI #803: Commit e41ab2b pushed by marcoeilers
February 11, 2025 12:21 20m 32s master
master
February 11, 2025 12:21 20m 32s
Test for Carbon issue 355 Run Backend CI #802: Pull request #844 opened by marcoeilers
February 11, 2025 12:01 20m 3s
February 11, 2025 12:01 20m 3s
Add necessary framework to enable selective verification of methods in viper Run Backend CI #801: Pull request #843 opened by LaurenzV
February 11, 2025 10:30 20m 14s
February 11, 2025 10:30 20m 14s
Fix Macro Hover + Red beams support Run Backend CI #800: Pull request #840 synchronize by 7i6ht
February 10, 2025 11:38 19m 17s
February 10, 2025 11:38 19m 17s
Add formatter for the parse AST Run Backend CI #799: Pull request #820 synchronize by LaurenzV
February 10, 2025 09:27 20m 18s
February 10, 2025 09:27 20m 18s
Add formatter for the parse AST Run Backend CI #798: Pull request #820 synchronize by LaurenzV
February 10, 2025 09:09 2m 23s
February 10, 2025 09:09 2m 23s
Add formatter for the parse AST Run Backend CI #797: Pull request #820 synchronize by LaurenzV
February 10, 2025 08:05 2m 32s
February 10, 2025 08:05 2m 32s
Fix Macro Hover + Red beams support Run Backend CI #796: Pull request #840 synchronize by 7i6ht
February 5, 2025 15:20 19m 24s
February 5, 2025 15:20 19m 24s
Fix Macro Hover + Red beams support Run Backend CI #795: Pull request #840 synchronize by 7i6ht
February 5, 2025 14:43 1m 34s
February 5, 2025 14:43 1m 34s
Fixing #833 with NoCut (#842) Run Backend CI #794: Commit 924804b pushed by marcoeilers
February 5, 2025 11:19 20m 16s master
master
February 5, 2025 11:19 20m 16s
Fixing #833 with NoCut Run Backend CI #793: Pull request #842 synchronize by marcoeilers
February 5, 2025 10:59 20m 28s
February 5, 2025 10:59 20m 28s