Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
393 workflow runs
393 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
remove stale IgnoreFile annotation Run Backend CI #1003: Commit da43f0d pushed by alexanderjsummers
21m 22s master
master
21m 22s
remove stale IgnoreFile annotation Scala CI #1245: Commit da43f0d pushed by alexanderjsummers
7m 9s master
master
7m 9s
remove stale IgnoreFile annotation Update Silver Submodule #288: Commit da43f0d pushed by alexanderjsummers
11s master
master
11s
updated stale test annotation Scala CI #1244: Commit e2b3ce2 pushed by alexanderjsummers
6m 30s master
master
6m 30s
updated stale test annotation Run Backend CI #1002: Commit e2b3ce2 pushed by alexanderjsummers
20m 43s master
master
20m 43s
updated stale test annotation Update Silver Submodule #287: Commit e2b3ce2 pushed by alexanderjsummers
14s master
master
14s
Merge branch 'master' of https://github.com/viperproject/silver Update Silver Submodule #286: Commit 84eebed pushed by alexanderjsummers
13s master
master
13s
Merge branch 'master' of https://github.com/viperproject/silver Scala CI #1243: Commit 84eebed pushed by alexanderjsummers
8m 6s master
master
8m 6s
Merge branch 'master' of https://github.com/viperproject/silver Run Backend CI #1001: Commit 84eebed pushed by alexanderjsummers
20m 33s master
master
20m 33s
Add pure and access fragment functions for expressions (#908) Run Backend CI #1000: Commit bc12874 pushed by marcoeilers
17m 1s master
master
17m 1s
Add pure and access fragment functions for expressions (#908) Update Silver Submodule #285: Commit bc12874 pushed by marcoeilers
10s master
master
10s
Add pure and access fragment functions for expressions (#908) Scala CI #1242: Commit bc12874 pushed by marcoeilers
8m 8s master
master
8m 8s
Add pure and access fragment functions for expressions Scala CI #1241: Pull request #908 synchronize by marcoeilers
9m 11s jackstodart:master
jackstodart:master
9m 11s
Add pure and access fragment functions for expressions Run Backend CI #999: Pull request #908 synchronize by marcoeilers
21m 28s
21m 28s
Add pure and access fragment functions for expressions Run Backend CI #998: Pull request #908 synchronize by jackstodart
21m 37s
21m 37s
Adding error reason for timeouts Scala CI #1239: Commit d503c97 pushed by marcoeilers
7m 26s master
master
7m 26s
Adding error reason for timeouts Run Backend CI #997: Commit d503c97 pushed by marcoeilers
20m 6s master
master
20m 6s
Adding error reason for timeouts Update Silver Submodule #284: Commit d503c97 pushed by marcoeilers
14s master
master
14s
Merge pull request #812 from trktby/report_cfg_times Scala CI #1238: Commit 6435601 pushed by Aurel300
6m 37s master
master
6m 37s
Merge pull request #812 from trktby/report_cfg_times Update Silver Submodule #283: Commit 6435601 pushed by Aurel300
11s master
master
11s
Merge pull request #812 from trktby/report_cfg_times Run Backend CI #996: Commit 6435601 pushed by Aurel300
19m 20s master
master
19m 20s
Add block level message types Scala CI #1237: Pull request #812 synchronize by Aurel300
5m 50s trktby:report_cfg_times
trktby:report_cfg_times
5m 50s
Add block level message types Run Backend CI #995: Pull request #812 synchronize by Aurel300
20m 22s
20m 22s
Add pure and access fragment functions for expressions Scala CI #1236: Pull request #908 synchronize by jackstodart
9m 20s jackstodart:master
jackstodart:master
9m 20s
Add pure and access fragment functions for expressions Run Backend CI #994: Pull request #908 synchronize by jackstodart
20m 56s
20m 56s