Skip to content

Actions: viperproject/viperserver

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add getMaxPriorityType Build, Test, and Publish #3943: Commit 6d55023 pushed by AndreaKe
7m 6s keuscha/test
keuscha/test
7m 6s
fix function axiom annotations Build, Test, and Publish #3942: Commit 73eb7f6 pushed by AndreaKe
6m 45s keuscha/test
keuscha/test
6m 45s
Fixing failing CI/CD license-check #815: Pull request #342 synchronize by rayman2000
9s nklose/ci-fails
nklose/ci-fails
9s
Fixing failing CI/CD Build, Test, and Publish #3941: Pull request #342 synchronize by rayman2000
7m 14s nklose/ci-fails
nklose/ci-fails
7m 14s
restored comments Build, Test, and Publish #3940: Commit 4c5360f pushed by rayman2000
7m 1s nklose/ci-fails
nklose/ci-fails
7m 1s
Build, Test, and Publish Build, Test, and Publish #3939: Scheduled
2m 53s master
master
2m 53s
Merge pull request #343 from viperproject/auto-update-submodules Build, Test, and Publish #3938: Commit 6e6a011 pushed by github-merge-queue bot
6m 51s master
master
6m 51s
Build, Test, and Publish Build, Test, and Publish #3937: Merge group checks requested
2m 44s
2m 44s
license-check license-check #814: Merge group checks requested
8s
8s
Merge pull request #343 from viperproject/auto-update-submodules Build, Test, and Publish #3936: Commit 6e6a011 pushed by github-merge-queue bot
7m 5s gh-readonly-queue/master/pr-343-c618b7759f827b92909f8aa5a35550c531891785
gh-readonly-queue/master/pr-343-c618b7759f827b92909f8aa5a35550c531891785
7m 5s
Update Submodules Build, Test, and Publish #3935: Pull request #343 opened by viper-admin
6m 49s auto-update-submodules
auto-update-submodules
6m 49s
Update Submodules license-check #813: Pull request #343 opened by viper-admin
11s auto-update-submodules
auto-update-submodules
11s
Updates submodules Build, Test, and Publish #3934: Commit be4008c pushed by viper-admin
7m 9s auto-update-submodules
auto-update-submodules
7m 9s
Update Submodules Update Submodules #1401: Scheduled
18s master
master
18s
Fixing failing CI/CD Build, Test, and Publish #3933: Pull request #342 opened by rayman2000
29m 42s nklose/ci-fails
nklose/ci-fails
29m 42s
Fixing failing CI/CD license-check #812: Pull request #342 opened by rayman2000
14s nklose/ci-fails
nklose/ci-fails
14s
some ideas Build, Test, and Publish #3932: Commit 8d59280 pushed by rayman2000
7m 35s nklose/ci-fails
nklose/ci-fails
7m 35s
Build, Test, and Publish Build, Test, and Publish #3931: Manually run by rayman2000
7m 51s master
master
7m 51s
Merge pull request #341 from viperproject/nklose/cancel-timing Build, Test, and Publish #3930: Commit c618b77 pushed by github-merge-queue bot
42s master
master
42s
Merge pull request #341 from viperproject/nklose/cancel-timing Build, Test, and Publish #3929: Commit c618b77 pushed by github-merge-queue bot
6m 55s gh-readonly-queue/master/pr-341-90d34add8356488de6009ee0e733ba8d39490842
gh-readonly-queue/master/pr-341-90d34add8356488de6009ee0e733ba8d39490842
6m 55s
license-check license-check #811: Merge group checks requested
15s
15s
Build, Test, and Publish Build, Test, and Publish #3928: Merge group checks requested
6m 55s
6m 55s
Switched back to re-using ast jobs Build, Test, and Publish #3927: Pull request #341 synchronize by rayman2000
7m 11s nklose/cancel-timing
nklose/cancel-timing
7m 11s
Switched back to re-using ast jobs license-check #810: Pull request #341 synchronize by rayman2000
12s nklose/cancel-timing
nklose/cancel-timing
12s
better comments Build, Test, and Publish #3926: Commit ffb96d8 pushed by rayman2000
7m 19s nklose/cancel-timing
nklose/cancel-timing
7m 19s