Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
627 workflow runs
627 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing issue #849 by letting extension expressions declare whether th… Scala CI #1129: Commit 94bd536 pushed by marcoeilers
April 4, 2025 14:02 5m 38s master
master
April 4, 2025 14:02 5m 38s
Fixing issue #849 by letting extension expressions declare whether th… Run Backend CI #888: Commit 94bd536 pushed by marcoeilers
April 4, 2025 14:02 20m 50s master
master
April 4, 2025 14:02 20m 50s
Fixing issue #849 by letting extension expressions declare whether th… Update Silver Submodule #244: Commit 94bd536 pushed by marcoeilers
April 4, 2025 14:02 14s master
master
April 4, 2025 14:02 14s
Fixing issue #849 Scala CI #1128: Pull request #857 synchronize by marcoeilers
April 4, 2025 13:41 6m 2s meilers_fix_849
meilers_fix_849
April 4, 2025 13:41 6m 2s
Fixing issue #849 Run Backend CI #887: Pull request #857 synchronize by marcoeilers
April 4, 2025 13:41 20m 44s
April 4, 2025 13:41 20m 44s
Fixing issue #849 Scala CI #1127: Pull request #857 synchronize by marcoeilers
April 4, 2025 12:57 5m 34s meilers_fix_849
meilers_fix_849
April 4, 2025 12:57 5m 34s
Fixing issue #849 Run Backend CI #886: Pull request #857 synchronize by marcoeilers
April 4, 2025 12:57 20m 31s
April 4, 2025 12:57 20m 31s
Fixing issue #849 Run Backend CI #885: Pull request #857 synchronize by marcoeilers
April 4, 2025 12:19 19m 38s
April 4, 2025 12:19 19m 38s
Fixing issue #849 Scala CI #1126: Pull request #857 synchronize by marcoeilers
April 4, 2025 12:19 5m 44s meilers_fix_849
meilers_fix_849
April 4, 2025 12:19 5m 44s
Fixing issue #849 Scala CI #1125: Pull request #857 synchronize by marcoeilers
April 4, 2025 11:59 5m 21s meilers_fix_849
meilers_fix_849
April 4, 2025 11:59 5m 21s
Fixing issue #849 Run Backend CI #884: Pull request #857 synchronize by marcoeilers
April 4, 2025 11:59 26m 0s
April 4, 2025 11:59 26m 0s
Small simplifier improvements Scala CI #1124: Pull request #863 opened by marcoeilers
April 4, 2025 10:29 5m 45s meilers_simplifier_improvements
meilers_simplifier_improvements
April 4, 2025 10:29 5m 45s
Small simplifier improvements Run Backend CI #883: Pull request #863 opened by marcoeilers
April 4, 2025 10:29 20m 28s
April 4, 2025 10:29 20m 28s
allows for custom AnnotatedTestInput (#862) Scala CI #1123: Commit 7807892 pushed by ArquintL
April 3, 2025 11:48 5m 34s master
master
April 3, 2025 11:48 5m 34s
allows for custom AnnotatedTestInput (#862) Update Silver Submodule #243: Commit 7807892 pushed by ArquintL
April 3, 2025 11:48 18s master
master
April 3, 2025 11:48 18s
allows for custom AnnotatedTestInput (#862) Run Backend CI #882: Commit 7807892 pushed by ArquintL
April 3, 2025 11:48 20m 43s master
master
April 3, 2025 11:48 20m 43s
github_actions in /. - Update #990499710 Dependabot Updates #3: by dependabot bot
April 1, 2025 04:02 37s master
master
April 1, 2025 04:02 37s
Generalizing AnnotationBasedTestSuite to allow custom AnnotatedTestInputs Scala CI #1122: Pull request #862 opened by ArquintL
March 31, 2025 12:02 7m 44s arquintl-extensible-test-inputs
arquintl-extensible-test-inputs
March 31, 2025 12:02 7m 44s
Generalizing AnnotationBasedTestSuite to allow custom AnnotatedTestInputs Run Backend CI #881: Pull request #862 opened by ArquintL
March 31, 2025 12:02 20m 12s
March 31, 2025 12:02 20m 12s
Display failing branches Run Backend CI #880: Pull request #861 synchronize by 7i6ht
March 25, 2025 08:01 2m 33s
March 25, 2025 08:01 2m 33s
Display failing branches Run Backend CI #879: Pull request #861 synchronize by 7i6ht
March 25, 2025 07:38 1m 27s
March 25, 2025 07:38 1m 27s
Display failing branches Run Backend CI #878: Pull request #861 synchronize by 7i6ht
March 25, 2025 06:11 3m 12s
March 25, 2025 06:11 3m 12s
Display failing branches Run Backend CI #877: Pull request #861 opened by 7i6ht
March 25, 2025 06:02 1m 32s
March 25, 2025 06:02 1m 32s
iterative simplifier Run Backend CI #876: Pull request #860 opened by friedusb
March 24, 2025 14:58 21m 17s
March 24, 2025 14:58 21m 17s
iterative simplifier Scala CI #1121: Pull request #860 opened by friedusb
March 24, 2025 14:58 Action required friedusb:ghaefeli-iterativesimplifier
friedusb:ghaefeli-iterativesimplifier
March 24, 2025 14:58 Action required