Skip to content

Actions: viperproject/silver

Actions

Scala CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scala.yml
256 workflow runs
256 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scala CI Scala CI #1130: Manually run by ArquintL
April 7, 2025 07:48 7m 46s master
master
April 7, 2025 07:48 7m 46s
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 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 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 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
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
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
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
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
Add necessary framework to enable selective verification of methods in viper Scala CI #1120: Pull request #843 synchronize by LaurenzV
March 20, 2025 20:07 6m 0s LaurenzV:separate
LaurenzV:separate
March 20, 2025 20:07 6m 0s
No longer marking blocks with labels with invariants as loop head blo… Scala CI #1119: Commit fd69751 pushed by marcoeilers
March 19, 2025 19:18 6m 5s master
master
March 19, 2025 19:18 6m 5s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Scala CI #1118: Pull request #859 synchronize by marcoeilers
March 19, 2025 18:58 5m 54s meilers_fix_non_loop_head_inv_labels
meilers_fix_non_loop_head_inv_labels
March 19, 2025 18:58 5m 54s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Scala CI #1117: Pull request #859 synchronize by marcoeilers
March 19, 2025 18:34 6m 20s meilers_fix_non_loop_head_inv_labels
meilers_fix_non_loop_head_inv_labels
March 19, 2025 18:34 6m 20s
No longer marking blocks with labels with invariants as loop head blocks if they aren't loop heads Scala CI #1116: Pull request #859 opened by marcoeilers
March 19, 2025 18:34 7m 29s meilers_fix_non_loop_head_inv_labels
meilers_fix_non_loop_head_inv_labels
March 19, 2025 18:34 7m 29s
Disallow asserting expressions in axioms (#858) Scala CI #1115: Commit 0fc6017 pushed by marcoeilers
March 19, 2025 17:05 8m 20s master
master
March 19, 2025 17:05 8m 20s
Disallow asserting expressions in axioms Scala CI #1114: Pull request #858 opened by marcoeilers
March 19, 2025 16:44 6m 16s meilers_disallow_asserting_in_axioms
meilers_disallow_asserting_in_axioms
March 19, 2025 16:44 6m 16s
Add formatter for the parse AST (#820) Scala CI #1113: Commit be1716f pushed by rayman2000
March 19, 2025 15:36 6m 45s master
master
March 19, 2025 15:36 6m 45s
Add formatter for the parse AST Scala CI #1112: Pull request #820 synchronize by rayman2000
March 19, 2025 15:14 8m 11s LaurenzV:format-rnode
LaurenzV:format-rnode
March 19, 2025 15:14 8m 11s
Fixing issue #849 Scala CI #1111: Pull request #857 synchronize by marcoeilers
March 18, 2025 18:07 9m 45s meilers_fix_849
meilers_fix_849
March 18, 2025 18:07 9m 45s
Fixing issue #849 Scala CI #1110: Pull request #857 opened by marcoeilers
March 18, 2025 17:35 5m 55s meilers_fix_849
meilers_fix_849
March 18, 2025 17:35 5m 55s
Making sure PluginAwareReporter preserves cached flag of messages (#856) Scala CI #1109: Commit 8d76b10 pushed by marcoeilers
March 18, 2025 16:40 7m 45s master
master
March 18, 2025 16:40 7m 45s
Making sure PluginAwareReporter preserve cached flag of messages Scala CI #1108: Pull request #856 opened by marcoeilers
March 18, 2025 16:19 5m 30s meilers_plugin_reporter_cache_fix
meilers_plugin_reporter_cache_fix
March 18, 2025 16:19 5m 30s
Add formatter for the parse AST Scala CI #1107: Pull request #820 synchronize by LaurenzV
March 18, 2025 15:51 9m 6s LaurenzV:format-rnode
LaurenzV:format-rnode
March 18, 2025 15:51 9m 6s
Making reporters plugin aware (#854) Scala CI #1106: Commit d3a8f4d pushed by marcoeilers
March 18, 2025 15:50 6m 15s master
master
March 18, 2025 15:50 6m 15s