Skip to content

Actions: viperproject/silver

Actions

Scala CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scala.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added missing case (fixes Silicon issue #742) Scala CI #701: Pull request #730 opened by marcoeilers
August 14, 2023 17:06 9m 57s meilers_fix_silicon_742
meilers_fix_silicon_742
August 14, 2023 17:06 9m 57s
Add method to explicitly reset plugins Scala CI #700: Pull request #729 synchronize by marcoeilers
August 7, 2023 14:51 9m 33s meilers_reset_plugins
meilers_reset_plugins
August 7, 2023 14:51 9m 33s
Add method to explicitly reset plugins Scala CI #699: Pull request #729 opened by marcoeilers
August 7, 2023 13:53 8m 15s meilers_reset_plugins
meilers_reset_plugins
August 7, 2023 13:53 8m 15s
Merge pull request #728 from viperproject/meilers_term_plugin_deactiv… Scala CI #698: Commit 04df2df pushed by marcoeilers
August 4, 2023 14:49 8m 10s master
master
August 4, 2023 14:49 8m 10s
Do not perform new checks and imports if the termination plugin is deactivated... Scala CI #697: Pull request #728 opened by marcoeilers
August 4, 2023 14:06 9m 16s meilers_term_plugin_deactive_flag
meilers_term_plugin_deactive_flag
August 4, 2023 14:06 9m 16s
Merge pull request #727 from viperproject/meilers_releasenotes_237_fix Scala CI #696: Commit 9f5b214 pushed by marcoeilers
August 3, 2023 14:34 8m 57s master
master
August 3, 2023 14:34 8m 57s
Fixing a typo Gaurav found Scala CI #695: Pull request #727 opened by marcoeilers
August 3, 2023 12:49 9m 30s meilers_releasenotes_237_fix
meilers_releasenotes_237_fix
August 3, 2023 12:49 9m 30s
Merge pull request #726 from viperproject/meilers_releasenotes_2023.7 Scala CI #694: Commit 87f83ec pushed by marcoeilers
August 2, 2023 01:56 7m 10s master
master
August 2, 2023 01:56 7m 10s
Release notes for 2023.7 Scala CI #693: Pull request #726 opened by marcoeilers
August 2, 2023 01:29 7m 17s meilers_releasenotes_2023.7
meilers_releasenotes_2023.7
August 2, 2023 01:29 7m 17s
Merge pull request #710 from viperproject/meilers_decreases_autoimport Scala CI #692: Commit 7f1385b pushed by marcoeilers
July 20, 2023 19:10 7m 52s master
master
July 20, 2023 19:10 7m 52s
Auto-including well-foundedness functions and axioms when they are used Scala CI #691: Pull request #710 synchronize by marcoeilers
July 20, 2023 18:25 9m 48s meilers_decreases_autoimport
meilers_decreases_autoimport
July 20, 2023 18:25 9m 48s
Auto-including well-foundedness functions and axioms when they are used Scala CI #690: Pull request #710 synchronize by marcoeilers
July 20, 2023 12:20 11m 21s meilers_decreases_autoimport
meilers_decreases_autoimport
July 20, 2023 12:20 11m 21s
Auto-including well-foundedness functions and axioms when they are used Scala CI #689: Pull request #710 synchronize by marcoeilers
July 20, 2023 10:23 7m 27s meilers_decreases_autoimport
meilers_decreases_autoimport
July 20, 2023 10:23 7m 27s
Merge pull request #724 from viperproject/duplicate-ident-errors Scala CI #688: Commit cafd011 pushed by marcoeilers
July 19, 2023 14:04 9m 16s master
master
July 19, 2023 14:04 9m 16s
Improve error reporting for some parsing and typechecking errors Scala CI #687: Pull request #723 synchronize by JonasAlaif
July 19, 2023 13:36 8m 22s error-improvements
error-improvements
July 19, 2023 13:36 8m 22s
Improve duplicate identifier error Scala CI #686: Pull request #724 opened by JonasAlaif
July 19, 2023 13:33 8m 55s duplicate-ident-errors
duplicate-ident-errors
July 19, 2023 13:33 8m 55s
Improve error reporting for some parsing and typechecking errors Scala CI #685: Pull request #723 synchronize by JonasAlaif
July 19, 2023 13:03 7m 28s error-improvements
error-improvements
July 19, 2023 13:03 7m 28s
Improve error reporting for some parsing and typechecking errors Scala CI #684: Pull request #723 synchronize by JonasAlaif
July 19, 2023 09:16 7m 23s error-improvements
error-improvements
July 19, 2023 09:16 7m 23s
Improve error reporting for some parsing and typechecking errors Scala CI #683: Pull request #723 synchronize by JonasAlaif
July 19, 2023 09:15 8m 42s error-improvements
error-improvements
July 19, 2023 09:15 8m 42s
Improve error reporting for some parsing and typechecking errors Scala CI #682: Pull request #723 synchronize by JonasAlaif
July 19, 2023 09:11 2m 41s error-improvements
error-improvements
July 19, 2023 09:11 2m 41s
Improve error reporting for some parsing and typechecking errors Scala CI #681: Pull request #723 synchronize by JonasAlaif
July 19, 2023 09:00 7m 43s error-improvements
error-improvements
July 19, 2023 09:00 7m 43s
Improve error reporting for some parsing and typechecking errors Scala CI #680: Pull request #723 synchronize by JonasAlaif
July 19, 2023 07:56 9m 45s error-improvements
error-improvements
July 19, 2023 07:56 9m 45s
Improve error reporting for some parsing and typechecking errors Scala CI #679: Pull request #723 opened by JonasAlaif
July 18, 2023 17:11 8m 34s error-improvements
error-improvements
July 18, 2023 17:11 8m 34s
Auto-including well-foundedness functions and axioms when they are used Scala CI #678: Pull request #710 synchronize by marcoeilers
July 18, 2023 14:42 8m 46s meilers_decreases_autoimport
meilers_decreases_autoimport
July 18, 2023 14:42 8m 46s
Auto-including well-foundedness functions and axioms when they are used Scala CI #677: Pull request #710 synchronize by marcoeilers
July 18, 2023 14:20 8m 35s meilers_decreases_autoimport
meilers_decreases_autoimport
July 18, 2023 14:20 8m 35s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.