Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow run results
45 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #718 from viperproject/meilers_fix_717 Scala CI #661: Commit 2e9bffc pushed by marcoeilers
July 8, 2023 17:43 9m 14s master
master
July 8, 2023 17:43 9m 14s
Merge pull request #718 from viperproject/meilers_fix_717 Update Silver Submodule #139: Commit 2e9bffc pushed by marcoeilers
July 8, 2023 17:43 17s master
master
July 8, 2023 17:43 17s
Merge pull request #718 from viperproject/meilers_fix_717 Run Backend CI #413: Commit 2e9bffc pushed by marcoeilers
July 8, 2023 17:43 25m 48s master
master
July 8, 2023 17:43 25m 48s
Fixing issue #717 Scala CI #660: Pull request #718 opened by marcoeilers
July 8, 2023 16:51 9m 41s meilers_fix_717
meilers_fix_717
July 8, 2023 16:51 9m 41s
Fixing issue #717 Run Backend CI #412: Pull request #718 opened by marcoeilers
July 8, 2023 16:51 24m 21s
July 8, 2023 16:51 24m 21s
Support for chained comparisons Run Backend CI #411: Pull request #713 synchronize by marcoeilers
July 6, 2023 12:00 24m 56s
July 6, 2023 12:00 24m 56s
Support for chained comparisons Scala CI #659: Pull request #713 synchronize by marcoeilers
July 6, 2023 12:00 10m 41s meilers_chained_comp
meilers_chained_comp
July 6, 2023 12:00 10m 41s
Merge pull request #714 from viperproject/fix-test-triggers Update Silver Submodule #138: Commit 64016f1 pushed by alexanderjsummers
July 6, 2023 00:38 18s master
master
July 6, 2023 00:38 18s
Merge pull request #714 from viperproject/fix-test-triggers Scala CI #658: Commit 64016f1 pushed by alexanderjsummers
July 6, 2023 00:38 8m 19s master
master
July 6, 2023 00:38 8m 19s
Merge pull request #714 from viperproject/fix-test-triggers Run Backend CI #410: Commit 64016f1 pushed by alexanderjsummers
July 6, 2023 00:38 25m 11s master
master
July 6, 2023 00:38 25m 11s
Revert "Fix non well formedness of methods generated by the terminati… Run Backend CI #409: Commit e2f0b37 pushed by Dspil
July 5, 2023 13:12 26m 30s master
master
July 5, 2023 13:12 26m 30s
Revert "Fix non well formedness of methods generated by the terminati… Update Silver Submodule #137: Commit e2f0b37 pushed by Dspil
July 5, 2023 13:12 17s master
master
July 5, 2023 13:12 17s
Revert "Fix non well formedness of methods generated by the terminati… Scala CI #657: Commit e2f0b37 pushed by Dspil
July 5, 2023 13:12 10m 21s master
master
July 5, 2023 13:12 10m 21s
Revert fix for duplicate variables in termination proofs of let expressions Run Backend CI #408: Pull request #716 opened by Dspil
July 5, 2023 12:45 26m 1s
July 5, 2023 12:45 26m 1s
Revert fix for duplicate variables in termination proofs of let expressions Scala CI #656: Pull request #716 opened by Dspil
July 5, 2023 12:45 8m 24s dspil_undo_let_var_fix
dspil_undo_let_var_fix
July 5, 2023 12:45 8m 24s
Fix non well formedness of methods generated by the termination plugi… Scala CI #655: Commit cf425b8 pushed by Dspil
July 5, 2023 12:05 10m 34s master
master
July 5, 2023 12:05 10m 34s
Fix non well formedness of methods generated by the termination plugi… Update Silver Submodule #136: Commit cf425b8 pushed by Dspil
July 5, 2023 12:05 21s master
master
July 5, 2023 12:05 21s
Fix non well formedness of methods generated by the termination plugi… Run Backend CI #407: Commit cf425b8 pushed by Dspil
July 5, 2023 12:05 30m 4s master
master
July 5, 2023 12:05 30m 4s
Fix non well formedness of methods generated by the termination plugin Run Backend CI #406: Pull request #715 opened by Dspil
July 5, 2023 11:36 25m 1s
July 5, 2023 11:36 25m 1s
Fix non well formedness of methods generated by the termination plugin Scala CI #654: Pull request #715 opened by Dspil
July 5, 2023 11:36 10m 5s dspil_termination_duplicate_var_let_fix
dspil_termination_duplicate_var_let_fix
July 5, 2023 11:36 10m 5s
Fix test triggers Run Backend CI #405: Pull request #714 synchronize by alexanderjsummers
July 4, 2023 00:52 31m 20s
July 4, 2023 00:52 31m 20s
Fix test triggers Scala CI #653: Pull request #714 synchronize by alexanderjsummers
July 4, 2023 00:52 9m 20s fix-test-triggers
fix-test-triggers
July 4, 2023 00:52 9m 20s
Fix test triggers Run Backend CI #404: Pull request #714 opened by alexanderjsummers
July 4, 2023 00:48 4m 43s
July 4, 2023 00:48 4m 43s
Fix test triggers Scala CI #652: Pull request #714 opened by alexanderjsummers
July 4, 2023 00:48 9m 8s fix-test-triggers
fix-test-triggers
July 4, 2023 00:48 9m 8s
Support for chained comparisons Run Backend CI #403: Pull request #713 synchronize by marcoeilers
June 30, 2023 15:37 25m 53s
June 30, 2023 15:37 25m 53s