Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
660 workflow runs
660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Remove MissingOutput flag from test case conditionals2.vpr (#788) Run Backend CI #663: Commit 86742da pushed by marcoeilers
June 12, 2024 23:11 21m 8s master
master
June 12, 2024 23:11 21m 8s
Remove MissingOutput flag from test case conditionals2.vpr (#788) Update Silver Submodule #200: Commit 86742da pushed by marcoeilers
June 12, 2024 23:11 17s master
master
June 12, 2024 23:11 17s
Remove MissingOutput flag from test case conditionals2.vpr Scala CI #907: Pull request #788 synchronize by marcoeilers
June 12, 2024 18:04 10m 22s manud99:magic-wand-maps
manud99:magic-wand-maps
June 12, 2024 18:04 10m 22s
Remove MissingOutput flag from test case conditionals2.vpr Run Backend CI #662: Pull request #788 synchronize by marcoeilers
June 12, 2024 18:04 14m 33s
June 12, 2024 18:04 14m 33s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #661: Pull request #805 opened by manud99
June 12, 2024 17:45 48m 2s
June 12, 2024 17:45 48m 2s
Fixing issue #803 Scala CI #905: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:44 7m 14s meilers_fix_803
meilers_fix_803
June 12, 2024 17:44 7m 14s
Fixing issue #803 Run Backend CI #660: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:44 22m 44s
June 12, 2024 17:44 22m 44s
Fixing issue #803 Scala CI #904: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:36 8m 33s meilers_fix_803
meilers_fix_803
June 12, 2024 17:36 8m 33s
Fixing issue #803 Run Backend CI #659: Pull request #804 synchronize by marcoeilers
June 12, 2024 17:36 22m 32s
June 12, 2024 17:36 22m 32s
Fixing issue #803 Scala CI #903: Pull request #804 opened by marcoeilers
June 12, 2024 17:32 24m 3s meilers_fix_803
meilers_fix_803
June 12, 2024 17:32 24m 3s
Fixing issue #803 Run Backend CI #658: Pull request #804 opened by marcoeilers
June 12, 2024 17:32 50m 30s
June 12, 2024 17:32 50m 30s
Tests for Silicon issues 844 and 845 (#801) Run Backend CI #657: Commit e51a7aa pushed by marcoeilers
June 11, 2024 16:32 36m 52s master
master
June 11, 2024 16:32 36m 52s
Tests for Silicon issues 844 and 845 (#801) Scala CI #902: Commit e51a7aa pushed by marcoeilers
June 11, 2024 16:32 7m 47s master
master
June 11, 2024 16:32 7m 47s
Tests for Silicon issues 844 and 845 (#801) Update Silver Submodule #199: Commit e51a7aa pushed by marcoeilers
June 11, 2024 16:32 18s master
master
June 11, 2024 16:32 18s