Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
541 workflow runs
541 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump the all group across 1 directory with 2 updates (#893) Run Backend CI #980: Commit ac67f4f pushed by jcp19
20m 32s master
master
20m 32s
Bump the all group across 1 directory with 2 updates (#893) Update Silver Submodule #279: Commit ac67f4f pushed by jcp19
12s master
master
12s
Bump the all group across 1 directory with 2 updates (#893) Scala CI #1222: Commit ac67f4f pushed by jcp19
6m 47s master
master
6m 47s
Bump the all group across 1 directory with 2 updates Scala CI #1221: Pull request #893 synchronize by dependabot bot
10m 5s dependabot/github_actions/all-d927f8929f
dependabot/github_actions/all-d927f8929f
10m 5s
Bump the all group across 1 directory with 2 updates Run Backend CI #979: Pull request #893 synchronize by dependabot bot
19m 29s
19m 29s
github_actions in / for actions/checkout, actions/upload-artifact - Update #1228476085 Dependabot Updates #18: by dependabot bot
38s master
master
38s
github_actions in /. - Update #1228476058 Dependabot Updates #17: by dependabot bot
28s master
master
28s
adds a hook to print the SIF-encoded AST (#900) Scala CI #1220: Commit c82b28d pushed by ArquintL
8m 48s master
master
8m 48s
adds a hook to print the SIF-encoded AST (#900) Update Silver Submodule #278: Commit c82b28d pushed by ArquintL
18s master
master
18s
adds a hook to print the SIF-encoded AST (#900) Run Backend CI #978: Commit c82b28d pushed by ArquintL
20m 53s master
master
20m 53s
Hook to Print SIF-Encoded AST Scala CI #1219: Pull request #900 opened by ArquintL
9m 23s arquintl-sif-print-encoding-hook
arquintl-sif-print-encoding-hook
9m 23s
Hook to Print SIF-Encoded AST Run Backend CI #977: Pull request #900 opened by ArquintL
21m 51s
21m 51s
Bump the all group across 1 directory with 2 updates Scala CI #1218: Pull request #893 synchronize by dependabot bot
9m 27s dependabot/github_actions/all-d927f8929f
dependabot/github_actions/all-d927f8929f
9m 27s
Bump the all group across 1 directory with 2 updates Run Backend CI #976: Pull request #893 synchronize by dependabot bot
20m 46s
20m 46s
github_actions in / for actions/checkout, actions/upload-artifact - Update #1195512532 Dependabot Updates #16: by dependabot bot
47s master
master
47s
github_actions in /. - Update #1195512486 Dependabot Updates #15: by dependabot bot
31s master
master
31s
Update scala version (2.13.18) (#899) Update Silver Submodule #277: Commit 80e4de2 pushed by jcp19
15s master
master
15s
Update scala version (2.13.18) (#899) Run Backend CI #975: Commit 80e4de2 pushed by jcp19
21m 39s master
master
21m 39s
Update scala version (2.13.18) (#899) Scala CI #1217: Commit 80e4de2 pushed by jcp19
8m 14s master
master
8m 14s
Update scala version (2.13.18) Scala CI #1216: Pull request #899 opened by jcp19
9m 51s jcp19-update-2.13.18
jcp19-update-2.13.18
9m 51s
Update scala version (2.13.18) Run Backend CI #974: Pull request #899 opened by jcp19
21m 58s
21m 58s
Bump the all group across 1 directory with 2 updates Scala CI #1215: Pull request #893 synchronize by dependabot bot
7m 13s dependabot/github_actions/all-d927f8929f
dependabot/github_actions/all-d927f8929f
7m 13s
Bump the all group across 1 directory with 2 updates Run Backend CI #973: Pull request #893 synchronize by dependabot bot
20m 59s
20m 59s
github_actions in / for actions/checkout, actions/upload-artifact - Update #1168792188 Dependabot Updates #14: by dependabot bot
37s master
master
37s
github_actions in /. - Update #1168744169 Dependabot Updates #13: by dependabot bot
29s master
master
29s