Skip to content

Actions: viperproject/silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
640 workflow runs
640 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unblocked port (#771) Scala CI #816: Commit eec8dd0 pushed by Dspil
February 14, 2024 15:43 6m 28s master
master
February 14, 2024 15:43 6m 28s
unblocked port (#771) Run Backend CI #569: Commit eec8dd0 pushed by Dspil
February 14, 2024 15:43 21m 26s master
master
February 14, 2024 15:43 21m 26s
unblocked port (#771) Update Silver Submodule #179: Commit eec8dd0 pushed by Dspil
February 14, 2024 15:43 18s master
master
February 14, 2024 15:43 18s
unblocked port Scala CI #815: Pull request #771 opened by Dspil
February 14, 2024 15:43 8m 42s unblocked_port
unblocked_port
February 14, 2024 15:43 8m 42s
unblocked port Run Backend CI #568: Pull request #771 opened by Dspil
February 14, 2024 15:43 22s
February 14, 2024 15:43 22s
ignore non-deterministic test Scala CI #814: Pull request #768 synchronize by Dspil
February 13, 2024 09:37 6m 45s ignore_non_deterministic_test
ignore_non_deterministic_test
February 13, 2024 09:37 6m 45s
ignore non-deterministic test Run Backend CI #567: Pull request #768 synchronize by Dspil
February 13, 2024 09:37 21m 44s
February 13, 2024 09:37 21m 44s
IP of temporary submitting server (#770) Run Backend CI #566: Commit 69b0a2d pushed by Dspil
February 12, 2024 13:09 21m 31s master
master
February 12, 2024 13:09 21m 31s
IP of temporary submitting server (#770) Update Silver Submodule #178: Commit 69b0a2d pushed by Dspil
February 12, 2024 13:09 16s master
master
February 12, 2024 13:09 16s
IP of temporary submitting server (#770) Scala CI #813: Commit 69b0a2d pushed by Dspil
February 12, 2024 13:09 8m 17s master
master
February 12, 2024 13:09 8m 17s
IP of temporary submitting server Scala CI #812: Pull request #770 opened by Dspil
February 12, 2024 13:02 8m 29s dspil_temp_port
dspil_temp_port
February 12, 2024 13:02 8m 29s
IP of temporary submitting server Run Backend CI #565: Pull request #770 opened by Dspil
February 12, 2024 13:02 21m 14s
February 12, 2024 13:02 21m 14s
Merge pull request #769 from viperproject/meilers-release-notes-24-1 Run Backend CI #564: Commit 59c5bde pushed by marcoeilers
February 11, 2024 12:25 20m 56s master
master
February 11, 2024 12:25 20m 56s
Merge pull request #769 from viperproject/meilers-release-notes-24-1 Scala CI #811: Commit 59c5bde pushed by marcoeilers
February 11, 2024 12:25 5m 33s master
master
February 11, 2024 12:25 5m 33s
Merge pull request #769 from viperproject/meilers-release-notes-24-1 Update Silver Submodule #177: Commit 59c5bde pushed by marcoeilers
February 11, 2024 12:25 18s master
master
February 11, 2024 12:25 18s
Update ReleaseNotes.md Scala CI #810: Pull request #769 synchronize by marcoeilers
February 11, 2024 12:04 9m 34s meilers-release-notes-24-1
meilers-release-notes-24-1
February 11, 2024 12:04 9m 34s
Update ReleaseNotes.md Run Backend CI #563: Pull request #769 synchronize by marcoeilers
February 11, 2024 12:04 20m 49s
February 11, 2024 12:04 20m 49s
Merge pull request #764 from viperproject/sem-highlight Run Backend CI #562: Commit 9da3833 pushed by marcoeilers
February 11, 2024 12:03 20m 54s master
master
February 11, 2024 12:03 20m 54s
Merge pull request #764 from viperproject/sem-highlight Update Silver Submodule #176: Commit 9da3833 pushed by marcoeilers
February 11, 2024 12:03 20s master
master
February 11, 2024 12:03 20s
Merge pull request #764 from viperproject/sem-highlight Scala CI #809: Commit 9da3833 pushed by marcoeilers
February 11, 2024 12:03 7m 49s master
master
February 11, 2024 12:03 7m 49s
Add information required for LSP features to Parse AST Scala CI #808: Pull request #764 synchronize by marcoeilers
February 11, 2024 11:03 6m 1s sem-highlight
sem-highlight
February 11, 2024 11:03 6m 1s
Add information required for LSP features to Parse AST Run Backend CI #561: Pull request #764 synchronize by marcoeilers
February 11, 2024 11:03 13m 28s
February 11, 2024 11:03 13m 28s
Add information required for LSP features to Parse AST Scala CI #807: Pull request #764 synchronize by marcoeilers
February 11, 2024 10:48 6m 2s sem-highlight
sem-highlight
February 11, 2024 10:48 6m 2s
Add information required for LSP features to Parse AST Run Backend CI #560: Pull request #764 synchronize by marcoeilers
February 11, 2024 10:48 21m 5s
February 11, 2024 10:48 21m 5s
Add information required for LSP features to Parse AST Scala CI #806: Pull request #764 synchronize by JonasAlaif
February 9, 2024 12:46 7m 52s sem-highlight
sem-highlight
February 9, 2024 12:46 7m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-02-09 or the other filters available.