Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 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
Test for Silicon issue 982 (#917) Scala CI #1262: Commit 42fa22f pushed by marcoeilers
8m 31s master
master
8m 31s
Test for Silicon issue 982 (#917) Run Backend CI #1020: Commit 42fa22f pushed by marcoeilers
20m 34s master
master
20m 34s
Test for Silicon issue 982 (#917) Update Silver Submodule #295: Commit 42fa22f pushed by marcoeilers
14s master
master
14s
Test for Silicon issue 982 Scala CI #1261: Pull request #917 opened by marcoeilers
8m 58s meilers_silicon_test_982
meilers_silicon_test_982
8m 58s
Test for Silicon issue 982 Run Backend CI #1019: Pull request #917 opened by marcoeilers
21m 2s
21m 2s
Test for Silicon issue #980 (#916) Run Backend CI #1018: Commit d2803c6 pushed by marcoeilers
20m 48s master
master
20m 48s
Test for Silicon issue #980 (#916) Scala CI #1260: Commit d2803c6 pushed by marcoeilers
8m 33s master
master
8m 33s
Test for Silicon issue #980 (#916) Update Silver Submodule #294: Commit d2803c6 pushed by marcoeilers
18s master
master
18s
Test for Silicon issue #980 Scala CI #1259: Pull request #916 opened by marcoeilers
8m 15s meilers_silicon_issue_980_test
meilers_silicon_issue_980_test
8m 15s
Test for Silicon issue #980 Run Backend CI #1017: Pull request #916 opened by marcoeilers
21m 34s
21m 34s
Add synchronization during logger creation (#915) Scala CI #1258: Commit efc0caa pushed by marcoeilers
5m 38s master
master
5m 38s
Add synchronization during logger creation (#915) Run Backend CI #1016: Commit efc0caa pushed by marcoeilers
20m 43s master
master
20m 43s
Add synchronization during logger creation (#915) Update Silver Submodule #293: Commit efc0caa pushed by marcoeilers
14s master
master
14s
Add synchronization during logger creation Scala CI #1257: Pull request #915 opened by marcoeilers
8m 46s meilers_fix_silicon_968
meilers_fix_silicon_968
8m 46s
Add synchronization during logger creation Run Backend CI #1015: Pull request #915 opened by marcoeilers
21m 15s
21m 15s
Test for Silicon issue #978 (#914) Update Silver Submodule #292: Commit 7ca5a05 pushed by marcoeilers
10s master
master
10s
Test for Silicon issue #978 (#914) Scala CI #1256: Commit 7ca5a05 pushed by marcoeilers
8m 44s master
master
8m 44s
Test for Silicon issue #978 (#914) Run Backend CI #1014: Commit 7ca5a05 pushed by marcoeilers
20m 44s master
master
20m 44s
Test for Silicon issue #978 Scala CI #1255: Pull request #914 opened by marcoeilers
5m 45s meilers_silicon_978
meilers_silicon_978
5m 45s
Test for Silicon issue #978 Run Backend CI #1013: Pull request #914 opened by marcoeilers
21m 14s
21m 14s
github_actions in /. - Update #1392238813 Dependabot Updates #22: by dependabot Bot
28s master
master
28s
Add dependency analysis features Scala CI #1254: Pull request #910 synchronize by AndreaKe
8m 36s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
8m 36s
Add dependency analysis features Run Backend CI #1012: Pull request #910 synchronize by AndreaKe
16m 34s
16m 34s
Adding trigger consistency checks for existentials (#912) Update Silver Submodule #291: Commit 0b8ab5c pushed by marcoeilers
14s master
master
14s
Adding trigger consistency checks for existentials (#912) Run Backend CI #1011: Commit 0b8ab5c pushed by marcoeilers
21m 21s master
master
21m 21s