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

Support hovering over macro usages (lsp) Run Backend CI #767: Pull request #826 synchronize by 7i6ht
January 16, 2025 16:40 29m 5s
January 16, 2025 16:40 29m 5s
Fixing type checking for predicate instance plugin Run Backend CI #766: Pull request #835 opened by marcoeilers
January 15, 2025 20:05 13m 0s
January 15, 2025 20:05 13m 0s
Removed minimal cuts to allow parsing #833 Run Backend CI #765: Pull request #834 synchronize by marcoeilers
January 15, 2025 15:31 21m 30s
January 15, 2025 15:31 21m 30s
Removed minimal cuts to allow parsing #833 Run Backend CI #764: Pull request #834 opened by marcoeilers
January 15, 2025 15:16 20m 30s
January 15, 2025 15:16 20m 30s
Add support for chopping programs before the Termination plugin runs Run Backend CI #763: Pull request #832 synchronize by jcp19
January 10, 2025 16:53 20m 51s
January 10, 2025 16:53 20m 51s
Add support for chopping programs before the Termination plugin runs Run Backend CI #762: Pull request #832 opened by jcp19
January 10, 2025 16:33 20m 20s
January 10, 2025 16:33 20m 20s
Fix pretty printer for termination measures (#831) Run Backend CI #761: Commit 4833685 pushed by jcp19
January 10, 2025 15:09 19m 57s master
master
January 10, 2025 15:09 19m 57s
Fix pretty printer for termination measures Run Backend CI #760: Pull request #831 synchronize by jcp19
January 10, 2025 13:36 20m 34s
January 10, 2025 13:36 20m 34s
Fix pretty printer for termination measures Run Backend CI #759: Pull request #831 opened by jcp19
January 10, 2025 13:24 46m 22s
January 10, 2025 13:24 46m 22s
Fixing several issues with malformed triggers Run Backend CI #758: Pull request #827 synchronize by marcoeilers
January 8, 2025 15:41 23m 19s
January 8, 2025 15:41 23m 19s
Test for Carbon issue #378 (#830) Run Backend CI #757: Commit 56e5d9a pushed by marcoeilers
December 30, 2024 15:41 19m 48s master
master
December 30, 2024 15:41 19m 48s
Test for Carbon issue #378 Run Backend CI #756: Pull request #830 synchronize by marcoeilers
December 30, 2024 15:21 20m 11s
December 30, 2024 15:21 20m 11s
Test for Carbon issue #378 Run Backend CI #755: Pull request #830 opened by marcoeilers
December 30, 2024 15:21 20m 25s
December 30, 2024 15:21 20m 25s
Test for Carbon issue #391 (#829) Run Backend CI #754: Commit 6ddaa1b pushed by marcoeilers
December 30, 2024 15:16 19m 55s master
master
December 30, 2024 15:16 19m 55s
Test for Carbon issue #391 Run Backend CI #753: Pull request #829 opened by marcoeilers
December 30, 2024 14:55 20m 3s
December 30, 2024 14:55 20m 3s
Consistency checks to forbid inhale-exhale-assertions in function preconditions and predicate bodies Run Backend CI #752: Pull request #828 opened by marcoeilers
December 29, 2024 03:05 19m 21s
December 29, 2024 03:05 19m 21s
Fixing several issues with malformed triggers Run Backend CI #751: Pull request #827 synchronize by marcoeilers
December 28, 2024 18:40 19m 48s
December 28, 2024 18:40 19m 48s
Adapting termination plugin to new function permission semantics (#824) Run Backend CI #750: Commit 92c0914 pushed by marcoeilers
December 28, 2024 18:27 20m 5s master
master
December 28, 2024 18:27 20m 5s
Fixing several issues with malformed triggers Run Backend CI #749: Pull request #827 synchronize by marcoeilers
December 28, 2024 18:24 19m 49s
December 28, 2024 18:24 19m 49s
Fixing several issues with malformed triggers Run Backend CI #748: Pull request #827 opened by marcoeilers
December 28, 2024 16:17 19m 59s
December 28, 2024 16:17 19m 59s
Support hovering over macro usages (lsp) Run Backend CI #747: Pull request #826 opened by 7i6ht
December 26, 2024 18:56 19m 18s
December 26, 2024 18:56 19m 18s
Adapting termination plugin to new function permission semantics Run Backend CI #746: Pull request #824 synchronize by marcoeilers
December 24, 2024 12:14 20m 13s
December 24, 2024 12:14 20m 13s
Adapting termination plugin to new function permission semantics Run Backend CI #745: Pull request #824 synchronize by marcoeilers
December 22, 2024 14:16 13m 24s
December 22, 2024 14:16 13m 24s
Updating sbt assembly version since the old one is no longer availabl… Run Backend CI #744: Commit b9f7272 pushed by marcoeilers
December 22, 2024 14:09 19m 59s master
master
December 22, 2024 14:09 19m 59s
Adapting termination plugin to new function permission semantics Run Backend CI #743: Pull request #824 synchronize by marcoeilers
December 22, 2024 13:55 20m 11s
December 22, 2024 13:55 20m 11s