Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
655 workflow runs
655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create dependabot.yml Update Silver Submodule #231: Commit 6512081 pushed by ArquintL
March 4, 2025 12:17 19s master
master
March 4, 2025 12:17 19s
Display Failing Branches Scala CI #1069: Pull request #840 synchronize by 7i6ht
March 4, 2025 12:09 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
March 4, 2025 12:09 Action required
Display Failing Branches Run Backend CI #824: Pull request #840 synchronize by 7i6ht
March 4, 2025 12:09 43s
March 4, 2025 12:09 43s
Display Failing Branches Scala CI #1068: Pull request #840 synchronize by 7i6ht
March 3, 2025 21:51 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
March 3, 2025 21:51 Action required
Display Failing Branches Run Backend CI #823: Pull request #840 synchronize by 7i6ht
March 3, 2025 21:51 48s
March 3, 2025 21:51 48s
Display Failing Branches Scala CI #1067: Pull request #840 synchronize by 7i6ht
March 2, 2025 22:13 Action required 7i6ht:lsp_display_failing_branches
7i6ht:lsp_display_failing_branches
March 2, 2025 22:13 Action required
Display Failing Branches Run Backend CI #822: Pull request #840 synchronize by 7i6ht
March 2, 2025 22:13 20m 46s
March 2, 2025 22:13 20m 46s
Add formatter for the parse AST Scala CI #1066: Pull request #820 synchronize by LaurenzV
March 1, 2025 13:44 7m 43s LaurenzV:format-rnode
LaurenzV:format-rnode
March 1, 2025 13:44 7m 43s
Add formatter for the parse AST Run Backend CI #821: Pull request #820 synchronize by LaurenzV
March 1, 2025 13:44 20m 8s
March 1, 2025 13:44 20m 8s
Update ReleaseNotes.md Run Backend CI #820: Commit 78f08c7 pushed by marcoeilers
February 28, 2025 12:16 20m 20s master
master
February 28, 2025 12:16 20m 20s
Update ReleaseNotes.md Update Silver Submodule #230: Commit 78f08c7 pushed by marcoeilers
February 28, 2025 12:16 14s master
master
February 28, 2025 12:16 14s
Update ReleaseNotes.md Scala CI #1065: Commit 78f08c7 pushed by marcoeilers
February 28, 2025 12:16 6m 35s master
master
February 28, 2025 12:16 6m 35s
Update ReleaseNotes.md Update Silver Submodule #229: Commit 5198aef pushed by marcoeilers
February 28, 2025 11:07 17s master
master
February 28, 2025 11:07 17s
Update ReleaseNotes.md Scala CI #1064: Commit 5198aef pushed by marcoeilers
February 28, 2025 11:07 8m 24s master
master
February 28, 2025 11:07 8m 24s
Update ReleaseNotes.md Run Backend CI #819: Commit 5198aef pushed by marcoeilers
February 28, 2025 11:07 46m 35s master
master
February 28, 2025 11:07 46m 35s
Fix all compiler warnings Scala CI #1063: Pull request #848 synchronize by jcp19
February 26, 2025 13:54 12m 18s joao-no-warnings
joao-no-warnings
February 26, 2025 13:54 12m 18s
Fix all compiler warnings Run Backend CI #818: Pull request #848 synchronize by jcp19
February 26, 2025 13:54 8m 14s
February 26, 2025 13:54 8m 14s
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
Display Failing Branches 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