Skip to content

Actions: viperproject/viperserver

Actions

Build, Test, and Publish

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build, Test, and Publish Build, Test, and Publish #2906: Scheduled
January 31, 2025 07:04 13s master
master
January 31, 2025 07:04 13s
Display Failing Branches + Signature Help (Macros) + Fix hover Build, Test, and Publish #2905: Pull request #257 synchronize by 7i6ht
January 30, 2025 14:45 Action required 7i6ht:lsp
7i6ht:lsp
January 30, 2025 14:45 Action required
Build, Test, and Publish Build, Test, and Publish #2904: Scheduled
January 30, 2025 07:04 8m 24s master
master
January 30, 2025 07:04 8m 24s
Display Failing Branches + Signature Help (Macros) + Fix hover Build, Test, and Publish #2903: Pull request #257 synchronize by 7i6ht
January 29, 2025 13:55 Action required 7i6ht:lsp
7i6ht:lsp
January 29, 2025 13:55 Action required
Build, Test, and Publish Build, Test, and Publish #2902: Scheduled
January 29, 2025 07:04 8m 11s master
master
January 29, 2025 07:04 8m 11s
Build, Test, and Publish Build, Test, and Publish #2901: Scheduled
January 28, 2025 07:04 8m 22s master
master
January 28, 2025 07:04 8m 22s
Build, Test, and Publish Build, Test, and Publish #2900: Scheduled
January 27, 2025 07:04 7m 57s master
master
January 27, 2025 07:04 7m 57s
Build, Test, and Publish Build, Test, and Publish #2899: Scheduled
January 26, 2025 07:03 8m 10s master
master
January 26, 2025 07:03 8m 10s
Build, Test, and Publish Build, Test, and Publish #2898: Scheduled
January 25, 2025 07:04 8m 8s master
master
January 25, 2025 07:04 8m 8s
Build, Test, and Publish Build, Test, and Publish #2897: Scheduled
January 24, 2025 07:04 1m 2s master
master
January 24, 2025 07:04 1m 2s
Build, Test, and Publish Build, Test, and Publish #2896: Scheduled
January 23, 2025 07:04 7m 50s master
master
January 23, 2025 07:04 7m 50s
Build, Test, and Publish Build, Test, and Publish #2895: Scheduled
January 22, 2025 07:04 2m 14s master
master
January 22, 2025 07:04 2m 14s
Merge pull request #264 from viperproject/unique-terminator-name Build, Test, and Publish #2894: Commit 7fb656b pushed by github-merge-queue bot
January 21, 2025 15:00 7m 35s master
master
January 21, 2025 15:00 7m 35s
Merge pull request #264 from viperproject/unique-terminator-name Build, Test, and Publish #2893: Commit 7fb656b pushed by github-merge-queue bot
January 21, 2025 14:51 8m 4s gh-readonly-queue/master/pr-264-d66f063eb43c9565ed05607cae77debfdc2462d3
gh-readonly-queue/master/pr-264-d66f063eb43c9565ed05607cae77debfdc2462d3
January 21, 2025 14:51 8m 4s
Build, Test, and Publish Build, Test, and Publish #2892: Merge group checks requested
January 21, 2025 14:51 8m 39s
January 21, 2025 14:51 8m 39s
Merge pull request #264 from viperproject/unique-terminator-name Build, Test, and Publish #2891: Commit 45d9261 pushed by github-merge-queue bot
January 21, 2025 14:29 7m 38s gh-readonly-queue/master/pr-264-d66f063eb43c9565ed05607cae77debfdc2462d3
gh-readonly-queue/master/pr-264-d66f063eb43c9565ed05607cae77debfdc2462d3
January 21, 2025 14:29 7m 38s
Build, Test, and Publish Build, Test, and Publish #2890: Merge group checks requested
January 21, 2025 14:29 58s
January 21, 2025 14:29 58s
Build, Test, and Publish Build, Test, and Publish #2889: Merge group checks requested
January 21, 2025 14:14 8m 1s
January 21, 2025 14:14 8m 1s
Merge pull request #264 from viperproject/unique-terminator-name Build, Test, and Publish #2888: Commit 631503b pushed by github-merge-queue bot
January 21, 2025 14:14 59s gh-readonly-queue/master/pr-264-d66f063eb43c9565ed05607cae77debfdc2462d3
gh-readonly-queue/master/pr-264-d66f063eb43c9565ed05607cae77debfdc2462d3
January 21, 2025 14:14 59s
Unique name for the Terminator actor Build, Test, and Publish #2887: Pull request #264 opened by ArquintL
January 21, 2025 13:26 8m 10s unique-terminator-name
unique-terminator-name
January 21, 2025 13:26 8m 10s
val was obviously the wrong keyword Build, Test, and Publish #2886: Commit d6243bd pushed by ArquintL
January 21, 2025 11:29 8m 10s unique-terminator-name
unique-terminator-name
January 21, 2025 11:29 8m 10s
ensures uniqueness of Terminator actors Build, Test, and Publish #2885: Commit 4d2beda pushed by ArquintL
January 21, 2025 10:56 8m 14s unique-terminator-name
unique-terminator-name
January 21, 2025 10:56 8m 14s
Build, Test, and Publish Build, Test, and Publish #2884: Scheduled
January 21, 2025 07:04 8m 19s master
master
January 21, 2025 07:04 8m 19s
Merge pull request #263 from viperproject/fixes-jid-data-race Build, Test, and Publish #2883: Commit d66f063 pushed by github-merge-queue bot
January 20, 2025 14:05 7m 53s master
master
January 20, 2025 14:05 7m 53s
Build, Test, and Publish Build, Test, and Publish #2882: Merge group checks requested
January 20, 2025 13:56 8m 10s
January 20, 2025 13:56 8m 10s