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

Fixing type checking for predicate instance plugin Run Backend CI #783: Pull request #835 synchronize by marcoeilers
February 3, 2025 22:02 20m 9s
February 3, 2025 22:02 20m 9s
Fix Macro Hover + Red beams support Scala CI #1027: Pull request #840 synchronize by 7i6ht
February 3, 2025 19:47 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
February 3, 2025 19:47 Action required
Fix Macro Hover + Red beams support Run Backend CI #782: Pull request #840 synchronize by 7i6ht
February 3, 2025 19:47 1m 26s
February 3, 2025 19:47 1m 26s
Fix Macro Hover + Red beams support Scala CI #1026: Pull request #840 synchronize by 7i6ht
February 3, 2025 19:40 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
February 3, 2025 19:40 Action required
Fix Macro Hover + Red beams support Run Backend CI #781: Pull request #840 synchronize by 7i6ht
February 3, 2025 19:40 1m 22s
February 3, 2025 19:40 1m 22s
Fix Macro Hover + Red beams support Scala CI #1025: Pull request #840 opened by 7i6ht
February 3, 2025 19:33 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
February 3, 2025 19:33 Action required
Fix Macro Hover + Red beams support Run Backend CI #780: Pull request #840 opened by 7i6ht
February 3, 2025 19:33 19m 42s
February 3, 2025 19:33 19m 42s
Test for Silicon issue #894 (#839) Scala CI #1024: Commit 9b2c33e pushed by marcoeilers
February 3, 2025 15:50 7m 41s master
master
February 3, 2025 15:50 7m 41s
Test for Silicon issue #894 (#839) Run Backend CI #779: Commit 9b2c33e pushed by marcoeilers
February 3, 2025 15:50 20m 11s master
master
February 3, 2025 15:50 20m 11s
Test for Silicon issue #894 (#839) Update Silver Submodule #222: Commit 9b2c33e pushed by marcoeilers
February 3, 2025 15:50 15s master
master
February 3, 2025 15:50 15s
Test for Silicon issue #894 Run Backend CI #778: Pull request #839 synchronize by marcoeilers
February 3, 2025 15:16 13m 16s
February 3, 2025 15:16 13m 16s
Test for Silicon issue #894 Scala CI #1023: Pull request #839 synchronize by marcoeilers
February 3, 2025 15:16 7m 13s meilers_silicon_894_test
meilers_silicon_894_test
February 3, 2025 15:16 7m 13s
Test for Silicon issue #894 Scala CI #1022: Pull request #839 opened by marcoeilers
February 3, 2025 15:15 6m 17s meilers_silicon_894_test
meilers_silicon_894_test
February 3, 2025 15:15 6m 17s
Test for Silicon issue #894 Run Backend CI #777: Pull request #839 opened by marcoeilers
February 3, 2025 15:15 20m 33s
February 3, 2025 15:15 20m 33s
Adding test files for old permission semantics (#838) Update Silver Submodule #221: Commit c757390 pushed by marcoeilers
February 3, 2025 14:55 15s master
master
February 3, 2025 14:55 15s
Adding test files for old permission semantics (#838) Run Backend CI #776: Commit c757390 pushed by marcoeilers
February 3, 2025 14:55 19m 41s master
master
February 3, 2025 14:55 19m 41s
Adding test files for old permission semantics (#838) Scala CI #1021: Commit c757390 pushed by marcoeilers
February 3, 2025 14:55 7m 58s master
master
February 3, 2025 14:55 7m 58s
Adding test files for old permission semantics Scala CI #1020: Pull request #838 opened by marcoeilers
February 3, 2025 14:33 8m 29s meilers_old_perm_semantics_tests
meilers_old_perm_semantics_tests
February 3, 2025 14:33 8m 29s
Adding test files for old permission semantics Run Backend CI #775: Pull request #838 opened by marcoeilers
February 3, 2025 14:33 20m 3s
February 3, 2025 14:33 20m 3s
Support hovering over macro usages (lsp) Run Backend CI #774: Pull request #826 synchronize by 7i6ht
February 2, 2025 18:04 18m 56s
February 2, 2025 18:04 18m 56s
Support hovering over macro usages (lsp) Scala CI #1018: Pull request #826 synchronize by 7i6ht
February 2, 2025 18:02 Action required 7i6ht:lsp-hover-macro
7i6ht:lsp-hover-macro
February 2, 2025 18:02 Action required
Support hovering over macro usages (lsp) Run Backend CI #773: Pull request #826 synchronize by 7i6ht
February 2, 2025 18:02 19m 56s
February 2, 2025 18:02 19m 56s
Test for Silicon issue 892 (#837) Run Backend CI #772: Commit fb86777 pushed by marcoeilers
February 2, 2025 11:54 20m 18s master
master
February 2, 2025 11:54 20m 18s
Test for Silicon issue 892 (#837) Update Silver Submodule #220: Commit fb86777 pushed by marcoeilers
February 2, 2025 11:54 17s master
master
February 2, 2025 11:54 17s
Test for Silicon issue 892 (#837) Scala CI #1017: Commit fb86777 pushed by marcoeilers
February 2, 2025 11:54 5m 45s master
master
February 2, 2025 11:54 5m 45s