Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
660 workflow runs
660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test suite for magic wand snap functions. Scala CI #889: Pull request #796 synchronize by manud99
May 13, 2024 12:55 6m 54s manud99:magic-wand-snap-functions
manud99:magic-wand-snap-functions
May 13, 2024 12:55 6m 54s
Test suite for magic wand snap functions. Run Backend CI #644: Pull request #796 synchronize by manud99
May 13, 2024 12:55 14m 12s
May 13, 2024 12:55 14m 12s
Test suite for magic wand snap functions. Run Backend CI #643: Pull request #796 synchronize by manud99
May 13, 2024 12:00 22m 39s
May 13, 2024 12:00 22m 39s
Test suite for magic wand snap functions. Run Backend CI #642: Pull request #796 opened by manud99
May 13, 2024 09:56 21m 10s
May 13, 2024 09:56 21m 10s
Add argument to properly disallow nested macros Scala CI #886: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:40 6m 48s meilers_disallow_nested_macros
meilers_disallow_nested_macros
May 10, 2024 15:40 6m 48s
Add argument to properly disallow nested macros Run Backend CI #641: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:40 21m 59s
May 10, 2024 15:40 21m 59s
Add argument to properly disallow nested macros Scala CI #885: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:37 9m 35s meilers_disallow_nested_macros
meilers_disallow_nested_macros
May 10, 2024 15:37 9m 35s
Add argument to properly disallow nested macros Run Backend CI #640: Pull request #795 synchronize by marcoeilers
May 10, 2024 15:37 21m 15s
May 10, 2024 15:37 21m 15s
Merge pull request #794 from viperproject/meilers_fix_782 Scala CI #884: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 8m 6s master
master
May 10, 2024 15:35 8m 6s
Merge pull request #794 from viperproject/meilers_fix_782 Update Silver Submodule #196: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 14s master
master
May 10, 2024 15:35 14s
Merge pull request #794 from viperproject/meilers_fix_782 Run Backend CI #639: Commit 8466d7c pushed by marcoeilers
May 10, 2024 15:35 23m 30s master
master
May 10, 2024 15:35 23m 30s
Add argument to properly disallow nested macros Scala CI #883: Pull request #795 opened by marcoeilers
May 10, 2024 15:23 8m 7s meilers_disallow_nested_macros
meilers_disallow_nested_macros
May 10, 2024 15:23 8m 7s
Add argument to properly disallow nested macros Run Backend CI #638: Pull request #795 opened by marcoeilers
May 10, 2024 15:23 21m 18s
May 10, 2024 15:23 21m 18s
Only simplify div and mod for positive arguments (like Carbon does) Run Backend CI #637: Pull request #794 synchronize by marcoeilers
May 10, 2024 15:13 21m 39s
May 10, 2024 15:13 21m 39s
Only simplify div and mod for positive arguments (like Carbon does) Scala CI #882: Pull request #794 synchronize by marcoeilers
May 10, 2024 15:13 7m 3s meilers_fix_782
meilers_fix_782
May 10, 2024 15:13 7m 3s
Merge pull request #793 from viperproject/meilers_fix_787 Scala CI #881: Commit 5ecdc3c pushed by marcoeilers
May 10, 2024 15:11 7m 36s master
master
May 10, 2024 15:11 7m 36s
Merge pull request #793 from viperproject/meilers_fix_787 Run Backend CI #636: Commit 5ecdc3c pushed by marcoeilers
May 10, 2024 15:11 21m 52s master
master
May 10, 2024 15:11 21m 52s
Merge pull request #793 from viperproject/meilers_fix_787 Update Silver Submodule #195: Commit 5ecdc3c pushed by marcoeilers
May 10, 2024 15:11 17s master
master
May 10, 2024 15:11 17s
Only simplify div and mod for positive arguments (like Carbon does) Scala CI #880: Pull request #794 opened by marcoeilers
May 10, 2024 14:50 7m 12s meilers_fix_782
meilers_fix_782
May 10, 2024 14:50 7m 12s
Only simplify div and mod for positive arguments (like Carbon does) Run Backend CI #635: Pull request #794 opened by marcoeilers
May 10, 2024 14:50 49m 4s
May 10, 2024 14:50 49m 4s
Fixing macro substitution for label statements Scala CI #879: Pull request #793 opened by marcoeilers
May 10, 2024 14:18 7m 19s meilers_fix_787
meilers_fix_787
May 10, 2024 14:18 7m 19s
Fixing macro substitution for label statements Run Backend CI #634: Pull request #793 opened by marcoeilers
May 10, 2024 14:18 23m 4s
May 10, 2024 14:18 23m 4s
Merge branch 'master' of https://github.com/viperproject/silver Run Backend CI #633: Commit c7a4e60 pushed by alexanderjsummers
May 7, 2024 22:16 23m 13s master
master
May 7, 2024 22:16 23m 13s
Merge branch 'master' of https://github.com/viperproject/silver Update Silver Submodule #194: Commit c7a4e60 pushed by alexanderjsummers
May 7, 2024 22:16 19s master
master
May 7, 2024 22:16 19s
Merge branch 'master' of https://github.com/viperproject/silver Scala CI #878: Commit c7a4e60 pushed by alexanderjsummers
May 7, 2024 22:16 7m 22s master
master
May 7, 2024 22:16 7m 22s