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

Updating sbt assembly version since the old one is no longer available Run Backend CI #742: Pull request #825 opened by marcoeilers
December 22, 2024 13:16 20m 13s
December 22, 2024 13:16 20m 13s
Adapting termination plugin to new function permission semantics Run Backend CI #741: Pull request #824 synchronize by marcoeilers
December 22, 2024 12:53 2m 57s
December 22, 2024 12:53 2m 57s
Adapting termination plugin to new function permission semantics Run Backend CI #740: Pull request #824 synchronize by marcoeilers
December 22, 2024 12:14 19m 42s
December 22, 2024 12:14 19m 42s
Adapting termination plugin to new function permission semantics Run Backend CI #739: Pull request #824 opened by marcoeilers
December 22, 2024 12:03 19m 36s
December 22, 2024 12:03 19m 36s
Allow custom error message for assertion failures via @msg annotation Run Backend CI #738: Pull request #815 synchronize by marcoeilers
December 19, 2024 19:14 20m 20s
December 19, 2024 19:14 20m 20s
Checking only read permissions when asserting function preconditions … Run Backend CI #737: Commit f96ac01 pushed by marcoeilers
December 19, 2024 16:19 20m 14s master
master
December 19, 2024 16:19 20m 14s
Checking only read permissions when asserting function preconditions Run Backend CI #736: Pull request #816 synchronize by marcoeilers
December 18, 2024 23:30 20m 29s
December 18, 2024 23:30 20m 29s
Checking only read permissions when asserting function preconditions Run Backend CI #735: Pull request #816 synchronize by marcoeilers
December 18, 2024 16:11 2m 32s
December 18, 2024 16:11 2m 32s
Checking only read permissions when asserting function preconditions Run Backend CI #734: Pull request #816 synchronize by marcoeilers
December 18, 2024 13:12 2m 35s
December 18, 2024 13:12 2m 35s
merge to main Run Backend CI #733: Pull request #823 opened by friedusb
December 15, 2024 21:39 22m 56s
December 15, 2024 21:39 22m 56s
Add formatter for the parse AST Run Backend CI #732: Pull request #820 synchronize by LaurenzV
December 6, 2024 12:58 20m 47s
December 6, 2024 12:58 20m 47s
Merge pull request #822 from viperproject/meilers_fix_silicon_886 Run Backend CI #731: Commit f7c9468 pushed by marcoeilers
December 6, 2024 12:31 20m 50s master
master
December 6, 2024 12:31 20m 50s
Added missing variable declaration for checking InEx-Expressions in function postconditions Run Backend CI #730: Pull request #822 opened by marcoeilers
December 6, 2024 12:08 23m 6s
December 6, 2024 12:08 23m 6s
Testcase for Silicon issue 883 (#821) Run Backend CI #729: Commit 3d95d76 pushed by marcoeilers
December 4, 2024 18:16 39m 54s master
master
December 4, 2024 18:16 39m 54s
Testcase for Silicon issue 883 Run Backend CI #728: Pull request #821 synchronize by mlimbeck
December 4, 2024 17:53 22m 47s
December 4, 2024 17:53 22m 47s
Testcase for Silicon issue 883 Run Backend CI #727: Pull request #821 opened by mlimbeck
December 4, 2024 14:22 24m 0s
December 4, 2024 14:22 24m 0s
Checking only read permissions when asserting function preconditions Run Backend CI #726: Pull request #816 synchronize by marcoeilers
December 1, 2024 17:28 3m 2s
December 1, 2024 17:28 3m 2s
Add formatter for the parse AST Run Backend CI #725: Pull request #820 synchronize by LaurenzV
November 28, 2024 10:43 24m 26s
November 28, 2024 10:43 24m 26s
Add formatter for the parse AST Run Backend CI #724: Pull request #820 opened by LaurenzV
November 28, 2024 10:13 23m 26s
November 28, 2024 10:13 23m 26s
Allow custom error message for assertion failures via @msg annotation Run Backend CI #723: Pull request #815 synchronize by marcoeilers
November 19, 2024 19:46 20m 34s
November 19, 2024 19:46 20m 34s
Allow custom error message for assertion failures via @msg annotation Run Backend CI #722: Pull request #815 synchronize by marcoeilers
November 13, 2024 18:52 20m 34s
November 13, 2024 18:52 20m 34s
Merge pull request #814 from viperproject/meilers_asserting Run Backend CI #721: Commit 08c001b pushed by marcoeilers
November 13, 2024 18:51 21m 21s master
master
November 13, 2024 18:51 21m 21s
New "asserting" expression Run Backend CI #720: Pull request #814 synchronize by marcoeilers
November 13, 2024 15:58 14m 20s
November 13, 2024 15:58 14m 20s
Merge pull request #818 from viperproject/meilers_fix_div_pretty Run Backend CI #719: Commit 5611fcb pushed by marcoeilers
November 13, 2024 15:52 23m 0s master
master
November 13, 2024 15:52 23m 0s
Trying to change workflow to avoid CI issue Run Backend CI #718: Pull request #819 opened by marcoeilers
November 13, 2024 15:00 24m 2s
November 13, 2024 15:00 24m 2s