Skip to content

Actions: viperproject/viperserver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,690 workflow runs
1,690 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Submodules license-check #823: Pull request #347 opened by viper-admin
12s auto-update-submodules
auto-update-submodules
12s
Update Submodules Build, Test, and Publish #4040: Pull request #347 opened by viper-admin
6m 58s auto-update-submodules
auto-update-submodules
6m 58s
Updates submodules Build, Test, and Publish #4039: Commit 444eccb pushed by viper-admin
7m 14s auto-update-submodules
auto-update-submodules
7m 14s
Update Submodules Update Submodules #1440: Scheduled
14s master
master
14s
Build, Test, and Publish Build, Test, and Publish #4038: Scheduled
7m 20s master
master
7m 20s
Update Submodules Update Submodules #1439: Scheduled
25s master
master
25s
fix infeasibility node Build, Test, and Publish #4037: Commit bd94b69 pushed by AndreaKe
7m 5s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
7m 5s
fixes Build, Test, and Publish #4036: Commit 1ca9b21 pushed by AndreaKe
7m 31s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
7m 31s
Update Verification.scala Build, Test, and Publish #4035: Commit d9ec3db pushed by adidell01
28s BiabductionLSP
BiabductionLSP
28s
Update DataProtocol.scala Build, Test, and Publish #4034: Commit 8b4a42c pushed by adidell01
22s BiabductionLSP
BiabductionLSP
22s
Update Manager.scala Build, Test, and Publish #4033: Commit 0d704f8 pushed by adidell01
29s BiabductionLSP
BiabductionLSP
29s
Update Manager.scala Build, Test, and Publish #4032: Commit 69cff6f pushed by adidell01
25s BiabductionLSP
BiabductionLSP
25s
Build, Test, and Publish Build, Test, and Publish #4031: Scheduled
7m 7s master
master
7m 7s
Update Submodules Update Submodules #1438: Scheduled
15s master
master
15s
Build, Test, and Publish Build, Test, and Publish #4030: Scheduled
6m 44s master
master
6m 44s
Merge pull request #346 from viperproject/auto-update-submodules Build, Test, and Publish #4029: Commit 25e3044 pushed by github-merge-queue bot
2m 41s master
master
2m 41s
license-check license-check #822: Merge group checks requested
11s
11s
Merge pull request #346 from viperproject/auto-update-submodules Build, Test, and Publish #4028: Commit 25e3044 pushed by github-merge-queue bot
7m 12s gh-readonly-queue/master/pr-346-bc8c43bf4b55e4c6cb3642e489fcce4ec458a44e
gh-readonly-queue/master/pr-346-bc8c43bf4b55e4c6cb3642e489fcce4ec458a44e
7m 12s
Build, Test, and Publish Build, Test, and Publish #4027: Merge group checks requested
7m 1s
7m 1s
Update Submodules license-check #821: Pull request #346 synchronize by viper-admin
8s auto-update-submodules
auto-update-submodules
8s
Update Submodules Build, Test, and Publish #4026: Pull request #346 synchronize by viper-admin
6m 39s auto-update-submodules
auto-update-submodules
6m 39s
Updates submodules Build, Test, and Publish #4025: Commit cc082e1 pushed by viper-admin
7m 9s auto-update-submodules
auto-update-submodules
7m 9s
Update Submodules Update Submodules #1437: Scheduled
16s master
master
16s
adapt solution for Gobra interfaces Build, Test, and Publish #4024: Commit 936d45d pushed by AndreaKe
2m 38s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
2m 38s
update submodules Build, Test, and Publish #4023: Commit a3a44e4 pushed by AndreaKe
7m 6s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
7m 6s