Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
837 workflow runs
837 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add tests for recent Silicon changes (#807) Scala CI #919: Commit 4a80657 pushed by marcoeilers
June 17, 2024 16:45 8m 41s master
master
June 17, 2024 16:45 8m 41s
Add tests for recent Silicon changes (#807) Run Backend CI #674: Commit 4a80657 pushed by marcoeilers
June 17, 2024 16:45 21m 43s master
master
June 17, 2024 16:45 21m 43s
Add tests for recent Silicon changes (#807) Update Silver Submodule #202: Commit 4a80657 pushed by marcoeilers
June 17, 2024 16:45 18s master
master
June 17, 2024 16:45 18s
Add tests for recent Silicon changes Scala CI #918: Pull request #807 opened by marcoeilers
June 17, 2024 14:36 7m 30s meilers_add_silicon_tests
meilers_add_silicon_tests
June 17, 2024 14:36 7m 30s
Add tests for recent Silicon changes Run Backend CI #673: Pull request #807 opened by marcoeilers
June 17, 2024 14:36 14m 54s
June 17, 2024 14:36 14m 54s
Advanced logical proofs Scala CI #917: Pull request #785 synchronize by jogasser
June 17, 2024 06:26 14m 41s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 17, 2024 06:26 14m 41s
Advanced logical proofs Run Backend CI #672: Pull request #785 synchronize by jogasser
June 17, 2024 06:26 22m 11s
June 17, 2024 06:26 22m 11s
Advanced logical proofs Scala CI #916: Pull request #785 synchronize by jogasser
June 17, 2024 05:58 7m 17s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 17, 2024 05:58 7m 17s
Advanced logical proofs Run Backend CI #671: Pull request #785 synchronize by jogasser
June 17, 2024 05:58 21m 32s
June 17, 2024 05:58 21m 32s
Advanced logical proofs Scala CI #915: Pull request #785 synchronize by jogasser
June 17, 2024 05:57 6m 57s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
June 17, 2024 05:57 6m 57s
Advanced logical proofs Run Backend CI #670: Pull request #785 synchronize by jogasser
June 17, 2024 05:57 21m 24s
June 17, 2024 05:57 21m 24s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #669: Pull request #805 synchronize by manud99
June 15, 2024 09:46 46m 14s
June 15, 2024 09:46 46m 14s
Fix multiple apply of magic wands with quantified expressions Scala CI #914: Pull request #805 synchronize by manud99
June 15, 2024 09:46 11m 36s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 15, 2024 09:46 11m 36s
Fix multiple apply of magic wands with quantified expressions Scala CI #913: Pull request #805 synchronize by manud99
June 15, 2024 09:32 9m 0s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 15, 2024 09:32 9m 0s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #668: Pull request #805 synchronize by manud99
June 15, 2024 09:32 50m 29s
June 15, 2024 09:32 50m 29s
Merge pull request #806 from viperproject/meilers_add_perm_introspect… Scala CI #912: Commit 9cd85c0 pushed by marcoeilers
June 13, 2024 18:34 7m 29s master
master
June 13, 2024 18:34 7m 29s
Merge pull request #806 from viperproject/meilers_add_perm_introspect… Run Backend CI #667: Commit 9cd85c0 pushed by marcoeilers
June 13, 2024 18:34 21m 29s master
master
June 13, 2024 18:34 21m 29s
Merge pull request #806 from viperproject/meilers_add_perm_introspect… Update Silver Submodule #201: Commit 9cd85c0 pushed by marcoeilers
June 13, 2024 18:34 18s master
master
June 13, 2024 18:34 18s
Adding a helper method Scala CI #911: Pull request #806 synchronize by marcoeilers
June 13, 2024 18:13 7m 31s meilers_add_perm_introspection_helper
meilers_add_perm_introspection_helper
June 13, 2024 18:13 7m 31s
Adding a helper method Run Backend CI #666: Pull request #806 synchronize by marcoeilers
June 13, 2024 18:13 21m 19s
June 13, 2024 18:13 21m 19s
Adding a helper method Scala CI #910: Pull request #806 opened by marcoeilers
June 13, 2024 18:13 7m 47s meilers_add_perm_introspection_helper
meilers_add_perm_introspection_helper
June 13, 2024 18:13 7m 47s
Adding a helper method Run Backend CI #665: Pull request #806 opened by marcoeilers
June 13, 2024 18:13 21m 33s
June 13, 2024 18:13 21m 33s
Fixing issue #803 Scala CI #909: Pull request #804 synchronize by marcoeilers
June 12, 2024 23:28 8m 7s meilers_fix_803
meilers_fix_803
June 12, 2024 23:28 8m 7s
Fixing issue #803 Run Backend CI #664: Pull request #804 synchronize by marcoeilers
June 12, 2024 23:27 21m 10s
June 12, 2024 23:27 21m 10s
Remove MissingOutput flag from test case conditionals2.vpr (#788) Scala CI #908: Commit 86742da pushed by marcoeilers
June 12, 2024 23:11 7m 13s master
master
June 12, 2024 23:11 7m 13s