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

Add information required for LSP features to Parse AST Run Backend CI #542: Pull request #764 synchronize by JonasAlaif
February 5, 2024 13:55 21m 16s
February 5, 2024 13:55 21m 16s
Add information required for LSP features to Parse AST Run Backend CI #541: Pull request #764 synchronize by JonasAlaif
February 5, 2024 13:53 20m 23s
February 5, 2024 13:53 20m 23s
Add information required for LSP features to Parse AST Run Backend CI #540: Pull request #764 synchronize by JonasAlaif
February 5, 2024 13:20 24m 25s
February 5, 2024 13:20 24m 25s
Add information required for LSP features to Parse AST Run Backend CI #539: Pull request #764 synchronize by JonasAlaif
February 5, 2024 13:14 21m 26s
February 5, 2024 13:14 21m 26s
Add information required for LSP features to Parse AST Run Backend CI #538: Pull request #764 synchronize by JonasAlaif
February 5, 2024 12:39 20m 54s
February 5, 2024 12:39 20m 54s
viper-data-collection changes Run Backend CI #537: Pull request #766 synchronize by Simon-Hostettler
February 5, 2024 10:55 22m 46s
February 5, 2024 10:55 22m 46s
Add information required for LSP features to Parse AST Run Backend CI #536: Pull request #764 synchronize by JonasAlaif
February 5, 2024 10:21 21m 1s
February 5, 2024 10:21 21m 1s
Add information required for LSP features to Parse AST Run Backend CI #535: Pull request #764 synchronize by JonasAlaif
February 5, 2024 10:19 1m 21s
February 5, 2024 10:19 1m 21s
Merge pull request #767 from viperproject/meilers_carbon_missing_feat… Run Backend CI #534: Commit 7059da7 pushed by marcoeilers
February 2, 2024 13:51 21m 31s master
master
February 2, 2024 13:51 21m 31s
Updating test annotations Run Backend CI #533: Pull request #767 opened by marcoeilers
February 2, 2024 13:30 21m 24s
February 2, 2024 13:30 21m 24s
viper-data-collection changes Run Backend CI #532: Pull request #766 opened by Simon-Hostettler
January 30, 2024 13:16 13m 16s
January 30, 2024 13:16 13m 16s
Merge pull request #765 from viperproject/meilers_silicon_seq_set_axioms Run Backend CI #531: Commit a4ca89c pushed by marcoeilers
January 22, 2024 21:03 20m 44s master
master
January 22, 2024 21:03 20m 44s
Adapting tests for improved sequence, set, ... axioms in Silicon Run Backend CI #530: Pull request #765 opened by marcoeilers
January 22, 2024 20:24 23m 10s
January 22, 2024 20:24 23m 10s
Improve error reporting for some parsing and typechecking errors Run Backend CI #529: Pull request #723 synchronize by JonasAlaif
January 22, 2024 10:12 21m 15s
January 22, 2024 10:12 21m 15s
Improve error reporting for some parsing and typechecking errors Run Backend CI #528: Pull request #723 synchronize by JonasAlaif
January 22, 2024 09:55 20m 37s
January 22, 2024 09:55 20m 37s
Add information required for LSP features to Parse AST Run Backend CI #527: Pull request #764 opened by JonasAlaif
January 22, 2024 08:10 23m 0s
January 22, 2024 08:10 23m 0s
Improve error reporting for some parsing and typechecking errors Run Backend CI #526: Pull request #723 synchronize by JonasAlaif
January 16, 2024 13:53 13m 1s
January 16, 2024 13:53 13m 1s
Improve error reporting for some parsing and typechecking errors Run Backend CI #525: Pull request #723 synchronize by JonasAlaif
January 16, 2024 10:44 20m 36s
January 16, 2024 10:44 20m 36s
Merge pull request #763 from viperproject/bruggerl/sd_tests Run Backend CI #524: Commit e47320f pushed by bruggerl
January 8, 2024 16:19 20m 42s master
master
January 8, 2024 16:19 20m 42s
Fix Test File for Smoke Detection Plugin Run Backend CI #523: Pull request #763 opened by bruggerl
January 8, 2024 15:57 20m 55s
January 8, 2024 15:57 20m 55s
Merge pull request #762 from viperproject/lbrugger_smoke Run Backend CI #522: Commit 3e164c8 pushed by bruggerl
January 8, 2024 15:16 21m 2s master
master
January 8, 2024 15:16 21m 2s
Smoke Detection Plugin Run Backend CI #521: Pull request #762 synchronize by bruggerl
January 8, 2024 14:48 21m 50s
January 8, 2024 14:48 21m 50s
Smoke Detection Plugin Run Backend CI #520: Pull request #762 synchronize by bruggerl
January 8, 2024 14:08 20m 30s
January 8, 2024 14:08 20m 30s
Smoke Detection Plugin Run Backend CI #519: Pull request #762 synchronize by bruggerl
January 8, 2024 13:45 20m 18s
January 8, 2024 13:45 20m 18s
Smoke Detection Plugin Run Backend CI #518: Pull request #762 synchronize by bruggerl
January 4, 2024 14:57 20m 11s
January 4, 2024 14:57 20m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-01-04 or the other filters available.