Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
497 workflow runs
497 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1065745408 Dependabot Updates #7: by dependabot bot
August 1, 2025 03:32 36s master
master
August 1, 2025 03:32 36s
Tests for fixed Silicon issue #856 (#880) Scala CI #1169: Commit b09d079 pushed by marcoeilers
July 9, 2025 13:32 7m 3s master
master
July 9, 2025 13:32 7m 3s
Tests for fixed Silicon issue #856 (#880) Run Backend CI #927: Commit b09d079 pushed by marcoeilers
July 9, 2025 13:32 20m 59s master
master
July 9, 2025 13:32 20m 59s
Tests for fixed Silicon issue #856 (#880) Update Silver Submodule #261: Commit b09d079 pushed by marcoeilers
July 9, 2025 13:32 12s master
master
July 9, 2025 13:32 12s
Tests for fixed Silicon issue #856 Scala CI #1168: Pull request #880 opened by marcoeilers
July 9, 2025 13:11 6m 39s meilers_silicon_856
meilers_silicon_856
July 9, 2025 13:11 6m 39s
Tests for fixed Silicon issue #856 Run Backend CI #926: Pull request #880 opened by marcoeilers
July 9, 2025 13:11 20m 51s
July 9, 2025 13:11 20m 51s
Update Silver Submodule Update Silver Submodule #260: Manually run by jcp19
July 3, 2025 14:57 15s master
master
July 3, 2025 14:57 15s
Optimizing generated termination checks to omit unfolds and condition… Update Silver Submodule #259: Commit 48acd1b pushed by marcoeilers
July 3, 2025 11:25 17s master
master
July 3, 2025 11:25 17s
Optimizing generated termination checks to omit unfolds and condition… Scala CI #1167: Commit 48acd1b pushed by marcoeilers
July 3, 2025 11:25 6m 14s master
master
July 3, 2025 11:25 6m 14s
Optimizing generated termination checks to omit unfolds and condition… Run Backend CI #925: Commit 48acd1b pushed by marcoeilers
July 3, 2025 11:25 20m 35s master
master
July 3, 2025 11:25 20m 35s
Optimizing generated termination checks to omit unfolds and condition… Scala CI #1166: Pull request #879 opened by marcoeilers
July 3, 2025 10:05 6m 48s meilers_optimize_termination_checks
meilers_optimize_termination_checks
July 3, 2025 10:05 6m 48s
Optimizing generated termination checks to omit unfolds and condition… Run Backend CI #924: Pull request #879 opened by marcoeilers
July 3, 2025 10:05 13m 3s
July 3, 2025 10:05 13m 3s
github_actions in /. - Update #1044366398 Dependabot Updates #6: by dependabot bot
July 1, 2025 04:03 34s master
master
July 1, 2025 04:03 34s
Disable one unstable test case for Carbon (#870) Scala CI #1165: Commit 0715b81 pushed by marcoeilers
June 30, 2025 17:15 7m 40s master
master
June 30, 2025 17:15 7m 40s
Disable one unstable test case for Carbon (#870) Update Silver Submodule #258: Commit 0715b81 pushed by marcoeilers
June 30, 2025 17:15 13s master
master
June 30, 2025 17:15 13s
Disable one unstable test case for Carbon (#870) Run Backend CI #923: Commit 0715b81 pushed by marcoeilers
June 30, 2025 17:15 21m 10s master
master
June 30, 2025 17:15 21m 10s
Disable one unstable test case for Carbon Run Backend CI #922: Pull request #870 synchronize by marcoeilers
June 30, 2025 16:52 21m 14s
June 30, 2025 16:52 21m 14s
Disable one unstable test case for Carbon Scala CI #1164: Pull request #870 synchronize by marcoeilers
June 30, 2025 16:52 23m 43s yxiao_disable_testcase
yxiao_disable_testcase
June 30, 2025 16:52 23m 43s
Delete old comment (#878) Update Silver Submodule #257: Commit fc1a26a pushed by JonasAlaif
June 26, 2025 13:17 12s master
master
June 26, 2025 13:17 12s
Delete old comment (#878) Run Backend CI #921: Commit fc1a26a pushed by JonasAlaif
June 26, 2025 13:17 20m 27s master
master
June 26, 2025 13:17 20m 27s
Delete old comment (#878) Scala CI #1163: Commit fc1a26a pushed by JonasAlaif
June 26, 2025 13:17 7m 16s master
master
June 26, 2025 13:17 7m 16s
Delete old comment Run Backend CI #920: Pull request #878 opened by JonasAlaif
June 26, 2025 13:17 18s
June 26, 2025 13:17 18s
Delete old comment Scala CI #1162: Pull request #878 opened by JonasAlaif
June 26, 2025 13:17 7m 12s end-pos
end-pos
June 26, 2025 13:17 7m 12s
Do not add extra newline at end of file (#877) Scala CI #1161: Commit 4b5f2f2 pushed by JonasAlaif
June 26, 2025 13:15 6m 6s master
master
June 26, 2025 13:15 6m 6s
Do not add extra newline at end of file (#877) Update Silver Submodule #256: Commit 4b5f2f2 pushed by JonasAlaif
June 26, 2025 13:15 12s master
master
June 26, 2025 13:15 12s