Skip to content

Actions: viperproject/viperserver

Actions

Build, Test, and Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scala.yml
1,019 workflow runs
1,019 workflow runs

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
Build, Test, and Publish Build, Test, and Publish #4085: Scheduled
8m 3s master
master
8m 3s
Build, Test, and Publish Build, Test, and Publish #4084: Scheduled
6m 27s master
master
6m 27s
Build, Test, and Publish Build, Test, and Publish #4083: Scheduled
6m 52s master
master
6m 52s
do not collect builtin axioms Build, Test, and Publish #4082: Commit 891dbea pushed by AndreaKe
6m 34s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
6m 34s
Build, Test, and Publish Build, Test, and Publish #4081: Scheduled
7m 21s master
master
7m 21s
Build, Test, and Publish Build, Test, and Publish #4080: Scheduled
1m 0s master
master
1m 0s
Build, Test, and Publish Build, Test, and Publish #4079: Scheduled
7m 27s master
master
7m 27s
Build, Test, and Publish Build, Test, and Publish #4078: Scheduled
6m 58s master
master
6m 58s
print warnings when DA info is missing Build, Test, and Publish #4077: Commit baae813 pushed by AndreaKe
2m 47s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
2m 47s
Build, Test, and Publish Build, Test, and Publish #4076: Scheduled
7m 27s master
master
7m 27s
Merge pull request #350 from viperproject/auto-update-submodules Build, Test, and Publish #4075: Commit e04fd8b pushed by github-merge-queue Bot
6m 53s master
master
6m 53s
Merge pull request #350 from viperproject/auto-update-submodules Build, Test, and Publish #4074: Commit e04fd8b pushed by github-merge-queue Bot
6m 19s gh-readonly-queue/master/pr-350-693e61230598016103ac69c585e34425949d7c1a
gh-readonly-queue/master/pr-350-693e61230598016103ac69c585e34425949d7c1a
6m 19s
Build, Test, and Publish Build, Test, and Publish #4073: Merge group checks requested
7m 4s
7m 4s
Update Submodules Build, Test, and Publish #4072: Pull request #350 opened by viper-admin
7m 9s auto-update-submodules
auto-update-submodules
7m 9s
Updates submodules Build, Test, and Publish #4071: Commit 3c82597 pushed by viper-admin
2m 35s auto-update-submodules
auto-update-submodules
2m 35s
Build, Test, and Publish Build, Test, and Publish #4070: Scheduled
7m 38s master
master
7m 38s
Merge pull request #349 from viperproject/auto-update-submodules Build, Test, and Publish #4069: Commit 693e612 pushed by github-merge-queue Bot
6m 44s master
master
6m 44s
Merge pull request #349 from viperproject/auto-update-submodules Build, Test, and Publish #4068: Commit 693e612 pushed by github-merge-queue Bot
6m 49s gh-readonly-queue/master/pr-349-576a67f0b502b216b3a567b06822322b28942f6c
gh-readonly-queue/master/pr-349-576a67f0b502b216b3a567b06822322b28942f6c
6m 49s
Build, Test, and Publish Build, Test, and Publish #4067: Merge group checks requested
2m 49s
2m 49s
Update Submodules Build, Test, and Publish #4066: Pull request #349 synchronize by viper-admin
6m 4s auto-update-submodules
auto-update-submodules
6m 4s
Updates submodules Build, Test, and Publish #4065: Commit 4f2c540 pushed by viper-admin
7m 1s auto-update-submodules
auto-update-submodules
7m 1s
Merge completed Build, Test, and Publish #4064: Commit 797cc02 pushed by adidell01
27s BiabductionLSPwInferenceMode
BiabductionLSPwInferenceMode
27s
Silicon backend selected Build, Test, and Publish #4063: Commit d869a66 pushed by adidell01
28s BiabductionLSPwInferenceMode
BiabductionLSPwInferenceMode
28s
refactor progress and pruning supporter Build, Test, and Publish #4062: Commit bc6fe2e pushed by AndreaKe
6m 59s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
6m 59s
refactor dependency queries Build, Test, and Publish #4061: Commit 311751d pushed by AndreaKe
7m 0s keuscha/dependency_analysis_refactoring
keuscha/dependency_analysis_refactoring
7m 0s