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

Checking only read permissions when asserting function preconditions Scala CI #960: Pull request #816 synchronize by marcoeilers
October 22, 2024 15:06 6m 26s meilers_assert_read_only
meilers_assert_read_only
October 22, 2024 15:06 6m 26s
Checking only read permissions when asserting function preconditions Scala CI #959: Pull request #816 synchronize by marcoeilers
October 22, 2024 14:49 3m 9s meilers_assert_read_only
meilers_assert_read_only
October 22, 2024 14:49 3m 9s
Checking only read permissions when asserting function preconditions Scala CI #958: Pull request #816 opened by marcoeilers
October 15, 2024 15:57 6m 1s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 15:57 6m 1s
Allow custom error message for assertion failures via @msg annotation Scala CI #957: Pull request #815 opened by marcoeilers
October 9, 2024 17:50 6m 15s meilers_custom_assert_error_msg
meilers_custom_assert_error_msg
October 9, 2024 17:50 6m 15s
New "asserting" expression Scala CI #956: Pull request #814 opened by marcoeilers
October 3, 2024 16:21 6m 29s meilers_asserting
meilers_asserting
October 3, 2024 16:21 6m 29s
Merge pull request #813 from viperproject/meilers_update_upload_artifact Scala CI #955: Commit 10b1b26 pushed by marcoeilers
September 11, 2024 20:32 5m 48s master
master
September 11, 2024 20:32 5m 48s
Update upload artifact Scala CI #954: Pull request #813 opened by marcoeilers
September 11, 2024 19:14 5m 50s meilers_update_upload_artifact
meilers_update_upload_artifact
September 11, 2024 19:14 5m 50s
Merge pull request #811 from viperproject/meilers_release_notes_24_8 Scala CI #953: Commit 9694904 pushed by viper-admin
September 6, 2024 14:47 12m 43s master
master
September 6, 2024 14:47 12m 43s
Add block level message types Scala CI #952: Pull request #812 synchronize by trktby
September 4, 2024 08:18 6m 22s trktby:report_cfg_times
trktby:report_cfg_times
September 4, 2024 08:18 6m 22s
Add block level message types Scala CI #951: Pull request #812 opened by trktby
September 3, 2024 07:54 6m 18s trktby:report_cfg_times
trktby:report_cfg_times
September 3, 2024 07:54 6m 18s
Update ReleaseNotes.md for 24/8 release Scala CI #950: Pull request #811 opened by marcoeilers
September 2, 2024 16:05 6m 12s meilers_release_notes_24_8
meilers_release_notes_24_8
September 2, 2024 16:05 6m 12s
Merge pull request #810 from viperproject/keuscha/silicon-debugger Scala CI #949: Commit 0410211 pushed by marcoeilers
September 2, 2024 00:36 5m 45s master
master
September 2, 2024 00:36 5m 45s
Silicon Debugging Scala CI #948: Pull request #810 synchronize by marcoeilers
August 30, 2024 21:50 5m 37s keuscha/silicon-debugger
keuscha/silicon-debugger
August 30, 2024 21:50 5m 37s
Silicon Debugging Scala CI #947: Pull request #810 synchronize by marcoeilers
August 28, 2024 23:32 5m 39s keuscha/silicon-debugger
keuscha/silicon-debugger
August 28, 2024 23:32 5m 39s
Silicon Debugging Scala CI #946: Pull request #810 synchronize by marcoeilers
August 28, 2024 22:55 3m 31s keuscha/silicon-debugger
keuscha/silicon-debugger
August 28, 2024 22:55 3m 31s
Silicon Debugging Scala CI #945: Pull request #810 opened by marcoeilers
August 28, 2024 00:47 10m 29s keuscha/silicon-debugger
keuscha/silicon-debugger
August 28, 2024 00:47 10m 29s
Advanced logical proofs Scala CI #943: Pull request #785 synchronize by jogasser
July 15, 2024 13:29 9m 20s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
July 15, 2024 13:29 9m 20s
Advanced logical proofs Scala CI #942: Pull request #785 synchronize by jogasser
July 8, 2024 11:25 6m 39s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
July 8, 2024 11:25 6m 39s
Advanced logical proofs Scala CI #941: Pull request #785 synchronize by jogasser
July 8, 2024 10:06 8m 13s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
July 8, 2024 10:06 8m 13s
Advanced logical proofs Scala CI #940: Pull request #785 synchronize by jogasser
July 1, 2024 13:34 10m 23s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
July 1, 2024 13:34 10m 23s
Advanced logical proofs Scala CI #939: Pull request #785 synchronize by jogasser
July 1, 2024 10:12 7m 28s jogasser:advanced-logical-proofs
jogasser:advanced-logical-proofs
July 1, 2024 10:12 7m 28s
Fix multiple apply of magic wands with quantified expressions Scala CI #938: Pull request #805 synchronize by manud99
June 30, 2024 09:54 7m 3s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 30, 2024 09:54 7m 3s
Fix multiple apply of magic wands with quantified expressions Scala CI #937: Pull request #805 synchronize by manud99
June 30, 2024 09:00 7m 9s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 30, 2024 09:00 7m 9s
Fix multiple apply of magic wands with quantified expressions Scala CI #936: Pull request #805 synchronize by manud99
June 28, 2024 14:03 7m 11s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 28, 2024 14:03 7m 11s
Fix multiple apply of magic wands with quantified expressions Scala CI #935: Pull request #805 synchronize by manud99
June 27, 2024 13:32 8m 0s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 27, 2024 13:32 8m 0s