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

Fix all compiler warnings Scala CI #1062: Pull request #848 opened by jcp19
February 21, 2025 16:58 14m 28s joao-no-warnings
joao-no-warnings
February 21, 2025 16:58 14m 28s
Fix all compiler warnings Run Backend CI #817: Pull request #848 opened by jcp19
February 21, 2025 16:58 7m 50s
February 21, 2025 16:58 7m 50s
fix pretty printing of termination measures (#847) Run Backend CI #816: Commit 9004d4c pushed by jcp19
February 21, 2025 08:37 20m 17s master
master
February 21, 2025 08:37 20m 17s
fix pretty printing of termination measures (#847) Update Silver Submodule #228: Commit 9004d4c pushed by jcp19
February 21, 2025 08:37 19s master
master
February 21, 2025 08:37 19s
fix pretty printing of termination measures (#847) Scala CI #1061: Commit 9004d4c pushed by jcp19
February 21, 2025 08:37 7m 28s master
master
February 21, 2025 08:37 7m 28s
Fix pretty printing of conditional termination measures Scala CI #1060: Pull request #847 opened by jcp19
February 20, 2025 15:13 5m 56s joao-fix-pretty-printing-conditional-measures
joao-fix-pretty-printing-conditional-measures
February 20, 2025 15:13 5m 56s
Fix pretty printing of conditional termination measures Run Backend CI #815: Pull request #847 opened by jcp19
February 20, 2025 15:13 20m 38s
February 20, 2025 15:13 20m 38s
Fix Macro Hover + Red beams support Scala CI #1059: Pull request #840 synchronize by 7i6ht
February 16, 2025 19:31 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
February 16, 2025 19:31 Action required
Fix Macro Hover + Red beams support Run Backend CI #814: Pull request #840 synchronize by 7i6ht
February 16, 2025 19:31 19m 22s
February 16, 2025 19:31 19m 22s
Test for Silicon issue 410 Scala CI #1058: Pull request #846 opened by marcoeilers
February 14, 2025 18:23 19m 42s meilers_silicon_410_test
meilers_silicon_410_test
February 14, 2025 18:23 19m 42s
Test for Silicon issue 410 Run Backend CI #813: Pull request #846 opened by marcoeilers
February 14, 2025 18:22 13m 34s
February 14, 2025 18:22 13m 34s
Add formatter for the parse AST Scala CI #1057: Pull request #820 synchronize by LaurenzV
February 14, 2025 12:55 Action required LaurenzV:format-rnode
LaurenzV:format-rnode
February 14, 2025 12:55 Action required
Add formatter for the parse AST Run Backend CI #812: Pull request #820 synchronize by LaurenzV
February 14, 2025 12:55 20m 33s
February 14, 2025 12:55 20m 33s
Add formatter for the parse AST Scala CI #1056: Pull request #820 synchronize by LaurenzV
February 14, 2025 12:39 Action required LaurenzV:format-rnode
LaurenzV:format-rnode
February 14, 2025 12:39 Action required
Add formatter for the parse AST Run Backend CI #811: Pull request #820 synchronize by LaurenzV
February 14, 2025 12:39 20m 11s
February 14, 2025 12:39 20m 11s
Add formatter for the parse AST Scala CI #1055: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:08 Action required LaurenzV:format-rnode
LaurenzV:format-rnode
February 14, 2025 10:08 Action required
Add formatter for the parse AST Run Backend CI #810: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:08 19m 40s
February 14, 2025 10:08 19m 40s
Add formatter for the parse AST Scala CI #1054: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:02 Action required LaurenzV:format-rnode
LaurenzV:format-rnode
February 14, 2025 10:02 Action required
Add formatter for the parse AST Run Backend CI #809: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:01 19m 50s
February 14, 2025 10:01 19m 50s
Add formatter for the parse AST Scala CI #1053: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:29 6m 48s LaurenzV:format-rnode
LaurenzV:format-rnode
February 13, 2025 11:29 6m 48s
Add formatter for the parse AST Run Backend CI #808: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:29 19m 30s
February 13, 2025 11:29 19m 30s
Add formatter for the parse AST Scala CI #1052: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:28 3m 35s LaurenzV:format-rnode
LaurenzV:format-rnode
February 13, 2025 11:28 3m 35s
Add formatter for the parse AST Run Backend CI #807: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:28 1m 39s
February 13, 2025 11:28 1m 39s
Add formatter for the parse AST Scala CI #1051: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:24 3m 20s LaurenzV:format-rnode
LaurenzV:format-rnode
February 13, 2025 11:24 3m 20s
Add formatter for the parse AST Run Backend CI #806: Pull request #820 synchronize by LaurenzV
February 13, 2025 11:24 1m 35s
February 13, 2025 11:24 1m 35s