Skip to content

Actions: viperproject/viperserver

Actions

Build, Test, and Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for selective verification Build, Test, and Publish #2971: Pull request #271 synchronize by LaurenzV
February 12, 2025 08:34 Action required LaurenzV:separate
LaurenzV:separate
February 12, 2025 08:34 Action required
Build, Test, and Publish Build, Test, and Publish #2970: Scheduled
February 12, 2025 07:04 2m 1s master
master
February 12, 2025 07:04 2m 1s
Update Submodules Build, Test, and Publish #2969: Pull request #270 synchronize by viper-admin
February 12, 2025 06:01 38s auto-update-submodules
auto-update-submodules
February 12, 2025 06:01 38s
Updates submodules Build, Test, and Publish #2968: Commit 50a137d pushed by viper-admin
February 12, 2025 06:01 31s auto-update-submodules
auto-update-submodules
February 12, 2025 06:01 31s
Add extra lsp features Build, Test, and Publish #2967: Pull request #204 synchronize by rayman2000
February 11, 2025 13:10 7m 49s lsp
lsp
February 11, 2025 13:10 7m 49s
Removed parentheses? Build, Test, and Publish #2966: Commit f5e2501 pushed by rayman2000
February 11, 2025 13:10 1m 39s lsp
lsp
February 11, 2025 13:10 1m 39s
Add extra lsp features Build, Test, and Publish #2965: Pull request #204 synchronize by rayman2000
February 11, 2025 12:52 2m 37s lsp
lsp
February 11, 2025 12:52 2m 37s
Merge remote-tracking branch 'origin/master' into lsp Build, Test, and Publish #2964: Commit 5f19c3e pushed by rayman2000
February 11, 2025 12:52 2m 42s lsp
lsp
February 11, 2025 12:52 2m 42s
Add support for selective verification Build, Test, and Publish #2963: Pull request #271 opened by LaurenzV
February 11, 2025 12:06 Action required LaurenzV:separate
LaurenzV:separate
February 11, 2025 12:06 Action required
Build, Test, and Publish Build, Test, and Publish #2962: Scheduled
February 11, 2025 07:04 7m 42s master
master
February 11, 2025 07:04 7m 42s
Update Submodules Build, Test, and Publish #2961: Pull request #270 opened by viper-admin
February 11, 2025 06:00 33s auto-update-submodules
auto-update-submodules
February 11, 2025 06:00 33s
Updates submodules Build, Test, and Publish #2960: Commit 6a3d8c8 pushed by viper-admin
February 11, 2025 06:00 28s auto-update-submodules
auto-update-submodules
February 11, 2025 06:00 28s
Display Failing Branches + Signature Help (Macros) + Fix hover Build, Test, and Publish #2959: Pull request #257 synchronize by 7i6ht
February 10, 2025 17:17 Action required 7i6ht:lsp
7i6ht:lsp
February 10, 2025 17:17 Action required
Display Failing Branches + Signature Help (Macros) + Fix hover Build, Test, and Publish #2958: Pull request #257 synchronize by 7i6ht
February 10, 2025 17:13 Action required 7i6ht:lsp
7i6ht:lsp
February 10, 2025 17:13 Action required
Display Failing Branches + Signature Help (Macros) + Fix hover Build, Test, and Publish #2957: Pull request #257 synchronize by 7i6ht
February 10, 2025 11:41 Action required 7i6ht:lsp
7i6ht:lsp
February 10, 2025 11:41 Action required
Add reformatter capabilities Build, Test, and Publish #2956: Pull request #249 synchronize by LaurenzV
February 10, 2025 09:29 44s LaurenzV:format-rnode
LaurenzV:format-rnode
February 10, 2025 09:29 44s
Build, Test, and Publish Build, Test, and Publish #2955: Scheduled
February 10, 2025 07:04 7m 30s master
master
February 10, 2025 07:04 7m 30s
Build, Test, and Publish Build, Test, and Publish #2954: Scheduled
February 9, 2025 07:03 7m 23s master
master
February 9, 2025 07:03 7m 23s
Build, Test, and Publish Build, Test, and Publish #2953: Scheduled
February 8, 2025 07:03 7m 32s master
master
February 8, 2025 07:03 7m 32s
Build, Test, and Publish Build, Test, and Publish #2952: Scheduled
February 7, 2025 07:04 1m 30s master
master
February 7, 2025 07:04 1m 30s
Merge pull request #269 from viperproject/auto-update-submodules Build, Test, and Publish #2951: Commit 858cdde pushed by github-merge-queue bot
February 6, 2025 10:14 7m 16s master
master
February 6, 2025 10:14 7m 16s
Build, Test, and Publish Build, Test, and Publish #2950: Merge group checks requested
February 6, 2025 10:06 7m 19s
February 6, 2025 10:06 7m 19s
Merge pull request #269 from viperproject/auto-update-submodules Build, Test, and Publish #2949: Commit 858cdde pushed by github-merge-queue bot
February 6, 2025 10:06 7m 7s gh-readonly-queue/master/pr-269-7b6aa11495e7f29d4943351af389c1464e9cc7ab
gh-readonly-queue/master/pr-269-7b6aa11495e7f29d4943351af389c1464e9cc7ab
February 6, 2025 10:06 7m 7s
Update Submodules Build, Test, and Publish #2948: Pull request #269 synchronize by viper-admin
February 6, 2025 09:59 7m 14s auto-update-submodules
auto-update-submodules
February 6, 2025 09:59 7m 14s
Updates submodules Build, Test, and Publish #2947: Commit 8b69c09 pushed by viper-admin
February 6, 2025 09:59 7m 26s auto-update-submodules
auto-update-submodules
February 6, 2025 09:59 7m 26s