Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
888 workflow runs
888 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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 Run Backend CI #697: Pull request #785 synchronize by jogasser
July 8, 2024 11:25 21m 14s
July 8, 2024 11:25 21m 14s
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 Run Backend CI #696: Pull request #785 synchronize by jogasser
July 8, 2024 10:06 21m 35s
July 8, 2024 10:06 21m 35s
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 Run Backend CI #695: Pull request #785 synchronize by jogasser
July 1, 2024 13:34 21m 31s
July 1, 2024 13:34 21m 31s
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
Advanced logical proofs Run Backend CI #694: Pull request #785 synchronize by jogasser
July 1, 2024 10:12 21m 49s
July 1, 2024 10:12 21m 49s
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 Run Backend CI #693: Pull request #805 synchronize by manud99
June 30, 2024 09:54 21m 8s
June 30, 2024 09:54 21m 8s
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 Run Backend CI #692: Pull request #805 synchronize by manud99
June 30, 2024 09:00 21m 3s
June 30, 2024 09:00 21m 3s
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 Run Backend CI #691: Pull request #805 synchronize by manud99
June 28, 2024 14:03 21m 22s
June 28, 2024 14:03 21m 22s
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
Fix multiple apply of magic wands with quantified expressions Run Backend CI #690: Pull request #805 synchronize by manud99
June 27, 2024 13:31 49m 56s
June 27, 2024 13:31 49m 56s
Fix multiple apply of magic wands with quantified expressions Scala CI #934: Pull request #805 synchronize by manud99
June 27, 2024 13:26 7m 23s manud99:quantified-magic-wand-maps
manud99:quantified-magic-wand-maps
June 27, 2024 13:26 7m 23s
Fix multiple apply of magic wands with quantified expressions Run Backend CI #689: Pull request #805 synchronize by manud99
June 27, 2024 13:26 50m 29s
June 27, 2024 13:26 50m 29s
Merge pull request #802 from viperproject/meilers_dont_count_requires… Scala CI #933: Commit 93bc9b7 pushed by marcoeilers
June 25, 2024 19:23 9m 17s master
master
June 25, 2024 19:23 9m 17s
Merge pull request #802 from viperproject/meilers_dont_count_requires… Run Backend CI #688: Commit 93bc9b7 pushed by marcoeilers
June 25, 2024 19:23 21m 39s master
master
June 25, 2024 19:23 21m 39s
Merge pull request #802 from viperproject/meilers_dont_count_requires… Update Silver Submodule #204: Commit 93bc9b7 pushed by marcoeilers
June 25, 2024 19:23 16s master
master
June 25, 2024 19:23 16s
Allow domain axioms to use functions that have decreases clauses Scala CI #932: Pull request #802 synchronize by marcoeilers
June 25, 2024 19:01 7m 6s meilers_dont_count_requires_as_pre
meilers_dont_count_requires_as_pre
June 25, 2024 19:01 7m 6s
Allow domain axioms to use functions that have decreases clauses Run Backend CI #687: Pull request #802 synchronize by marcoeilers
June 25, 2024 19:01 21m 33s
June 25, 2024 19:01 21m 33s
Merge pull request #804 from viperproject/meilers_fix_803 Run Backend CI #686: Commit aa72715 pushed by marcoeilers
June 25, 2024 19:01 22m 3s master
master
June 25, 2024 19:01 22m 3s
Merge pull request #804 from viperproject/meilers_fix_803 Scala CI #931: Commit aa72715 pushed by marcoeilers
June 25, 2024 19:01 7m 52s master
master
June 25, 2024 19:01 7m 52s