Skip to content

Actions: viperproject/silver

Run Backend CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Display Failing Branches
Run Backend CI #834: Pull request #840 synchronize by 7i6ht
March 7, 2025 21:53 19m 17s
March 7, 2025 21:53 19m 17s
Adding recently fixed Silicon bug to release notes
Run Backend CI #833: Commit 036ae3f pushed by marcoeilers
March 5, 2025 13:22 20m 23s master
March 5, 2025 13:22 20m 23s
Display Failing Branches
Run Backend CI #832: Pull request #840 synchronize by 7i6ht
March 4, 2025 20:32 19m 40s
March 4, 2025 20:32 19m 40s
Display Failing Branches
Run Backend CI #831: Pull request #840 synchronize by 7i6ht
March 4, 2025 20:05 19m 21s
March 4, 2025 20:05 19m 21s
Display Failing Branches
Run Backend CI #830: Pull request #840 synchronize by 7i6ht
March 4, 2025 20:01 19m 11s
March 4, 2025 20:01 19m 11s
Test for Silicon issue #903 (#851)
Run Backend CI #829: Commit 7d8be9d pushed by marcoeilers
March 4, 2025 14:13 20m 22s master
March 4, 2025 14:13 20m 22s
Adding test for Silicon issue #903
Run Backend CI #828: Pull request #851 opened by marcoeilers
March 4, 2025 13:51 21m 2s
March 4, 2025 13:51 21m 2s
Bump the all group with 3 updates (#850)
Run Backend CI #827: Commit a297ae0 pushed by ArquintL
March 4, 2025 13:30 21m 9s master
March 4, 2025 13:30 21m 9s
Bump the all group with 3 updates
Run Backend CI #826: Pull request #850 opened by dependabot bot
March 4, 2025 12:17 21m 30s
March 4, 2025 12:17 21m 30s
Create dependabot.yml
Run Backend CI #825: Commit 6512081 pushed by ArquintL
March 4, 2025 12:17 38s master
March 4, 2025 12:17 38s
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
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
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
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
February 28, 2025 12:16 20m 20s
Update ReleaseNotes.md
Run Backend CI #819: Commit 5198aef pushed by marcoeilers
February 28, 2025 11:07 46m 35s master
February 28, 2025 11:07 46m 35s
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
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
February 21, 2025 08:37 20m 17s
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
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
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
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
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
Run Backend CI #810: Pull request #820 synchronize by LaurenzV
February 14, 2025 10:08 19m 40s
February 14, 2025 10:08 19m 40s