Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
640 workflow runs
640 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #767 from viperproject/meilers_carbon_missing_feat… Update Silver Submodule #174: Commit 7059da7 pushed by marcoeilers
February 2, 2024 13:51 19s master
master
February 2, 2024 13:51 19s
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
Merge pull request #767 from viperproject/meilers_carbon_missing_feat… Scala CI #781: Commit 7059da7 pushed by marcoeilers
February 2, 2024 13:51 10m 51s master
master
February 2, 2024 13:51 10m 51s
Updating test annotations Scala CI #780: Pull request #767 opened by marcoeilers
February 2, 2024 13:30 8m 17s meilers_carbon_missing_features_tests
meilers_carbon_missing_features_tests
February 2, 2024 13:30 8m 17s
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 Scala CI #779: Pull request #766 opened by Simon-Hostettler
January 30, 2024 13:16 7m 23s shostettler_vdc
shostettler_vdc
January 30, 2024 13:16 7m 23s
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 Scala CI #778: Commit a4ca89c pushed by marcoeilers
January 22, 2024 21:03 6m 45s master
master
January 22, 2024 21:03 6m 45s
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
Merge pull request #765 from viperproject/meilers_silicon_seq_set_axioms Update Silver Submodule #173: Commit a4ca89c pushed by marcoeilers
January 22, 2024 21:03 20s master
master
January 22, 2024 21:03 20s
Adapting tests for improved sequence, set, ... axioms in Silicon Scala CI #777: Pull request #765 opened by marcoeilers
January 22, 2024 20:24 6m 36s meilers_silicon_seq_set_axioms
meilers_silicon_seq_set_axioms
January 22, 2024 20:24 6m 36s
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 Scala CI #776: Pull request #723 synchronize by JonasAlaif
January 22, 2024 10:12 6m 54s error-improvements
error-improvements
January 22, 2024 10:12 6m 54s
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 Scala CI #775: Pull request #723 synchronize by JonasAlaif
January 22, 2024 09:55 6m 45s error-improvements
error-improvements
January 22, 2024 09:55 6m 45s
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 Scala CI #774: Pull request #764 opened by JonasAlaif
January 22, 2024 08:10 7m 50s sem-highlight
sem-highlight
January 22, 2024 08:10 7m 50s
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 Scala CI #773: Pull request #723 synchronize by JonasAlaif
January 16, 2024 13:53 5m 47s error-improvements
error-improvements
January 16, 2024 13:53 5m 47s
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 Scala CI #772: Pull request #723 synchronize by JonasAlaif
January 16, 2024 10:44 7m 49s error-improvements
error-improvements
January 16, 2024 10:44 7m 49s
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 Scala CI #771: Commit e47320f pushed by bruggerl
January 8, 2024 16:19 8m 13s master
master
January 8, 2024 16:19 8m 13s
Merge pull request #763 from viperproject/bruggerl/sd_tests Update Silver Submodule #172: Commit e47320f pushed by bruggerl
January 8, 2024 16:19 21s master
master
January 8, 2024 16:19 21s
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
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.