Skip to content

Actions: viperproject/gobra-ide

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes CI test #3141: Commit e0c8771 pushed by ArquintL
February 20, 2024 13:02 8m 13s reenable-stable-testing
reenable-stable-testing
February 20, 2024 13:02 8m 13s
Reenable testing against stable release test #3140: Pull request #361 synchronize by ArquintL
February 20, 2024 13:01 8m 28s reenable-stable-testing
reenable-stable-testing
February 20, 2024 13:01 8m 28s
Reenable testing against stable release license-check #797: Pull request #361 synchronize by ArquintL
February 20, 2024 13:01 12s reenable-stable-testing
reenable-stable-testing
February 20, 2024 13:01 12s
makes CI parametric in the config files test #3139: Commit 6abda4a pushed by ArquintL
February 20, 2024 13:01 8m 29s reenable-stable-testing
reenable-stable-testing
February 20, 2024 13:01 8m 29s
Reenable testing against stable release test #3138: Pull request #361 synchronize by ArquintL
February 20, 2024 12:23 12m 32s reenable-stable-testing
reenable-stable-testing
February 20, 2024 12:23 12m 32s
Reenable testing against stable release license-check #796: Pull request #361 synchronize by ArquintL
February 20, 2024 12:23 14s reenable-stable-testing
reenable-stable-testing
February 20, 2024 12:23 14s
reenables testing against latest stable release test #3137: Commit 247369d pushed by ArquintL
February 20, 2024 12:23 11m 41s reenable-stable-testing
reenable-stable-testing
February 20, 2024 12:23 11m 41s
bumps version to '2.0.0' test #3136: Commit 4bfb319 pushed by ArquintL
February 20, 2024 12:19 11m 4s v2.0.0
v2.0.0
February 20, 2024 12:19 11m 4s
test test #3135: Manually run by ArquintL
February 20, 2024 12:04 13m 48s master
master
February 20, 2024 12:04 13m 48s
bumps version to '2.0.0' test #3134: Commit 4bfb319 pushed by ArquintL
February 20, 2024 11:51 12m 14s master
master
February 20, 2024 11:51 12m 14s
Merge pull request #392 from viperproject/latest-gobra-releases test #3133: Commit d77c206 pushed by github-merge-queue bot
February 20, 2024 11:01 10m 34s master
master
February 20, 2024 11:01 10m 34s
Merge pull request #392 from viperproject/latest-gobra-releases test #3132: Commit d77c206 pushed by github-merge-queue bot
February 20, 2024 10:48 13m 31s gh-readonly-queue/master/pr-392-3f984255514598c8ab26a16145f0dd4f295c9fcd
gh-readonly-queue/master/pr-392-3f984255514598c8ab26a16145f0dd4f295c9fcd
February 20, 2024 10:48 13m 31s
test test #3131: Merge group checks requested
February 20, 2024 10:48 13m 32s
February 20, 2024 10:48 13m 32s
license-check license-check #795: Merge group checks requested
February 20, 2024 10:48 11s
February 20, 2024 10:48 11s
Update Submodule to latest Gobra release 'v24.02' license-check #794: Pull request #392 opened by ArquintL
February 20, 2024 10:35 11s latest-gobra-releases
latest-gobra-releases
February 20, 2024 10:35 11s
Update Submodule to latest Gobra release 'v24.02' test #3130: Pull request #392 opened by ArquintL
February 20, 2024 10:35 12m 36s latest-gobra-releases
latest-gobra-releases
February 20, 2024 10:35 12m 36s
updates to latest Gobra release 'v24.02' test #3129: Commit 29099ba pushed by ArquintL
February 20, 2024 10:32 11m 56s latest-gobra-releases
latest-gobra-releases
February 20, 2024 10:32 11m 56s
Update Submodules Update Submodules #542: Manually run by ArquintL
February 20, 2024 10:29 17s master
master
February 20, 2024 10:29 17s
Update VS Code Update VS Code #83: Manually run by ArquintL
February 20, 2024 10:29 16s master
master
February 20, 2024 10:29 16s
test test #3128: Scheduled
February 20, 2024 07:03 10m 59s master
master
February 20, 2024 07:03 10m 59s
Merge pull request #391 from viperproject/auto-update-submodules test #3127: Commit 3f98425 pushed by github-merge-queue bot
February 20, 2024 06:28 12m 5s master
master
February 20, 2024 06:28 12m 5s
Merge pull request #391 from viperproject/auto-update-submodules test #3126: Commit 3f98425 pushed by github-merge-queue bot
February 20, 2024 06:16 11m 35s gh-readonly-queue/master/pr-391-9bb77ac9dcb648ec4020711c9abab8e79cb2fb9d
gh-readonly-queue/master/pr-391-9bb77ac9dcb648ec4020711c9abab8e79cb2fb9d
February 20, 2024 06:16 11m 35s
license-check license-check #793: Merge group checks requested
February 20, 2024 06:16 11s
February 20, 2024 06:16 11s
test test #3125: Merge group checks requested
February 20, 2024 06:16 10m 49s
February 20, 2024 06:16 10m 49s
Update Submodules license-check #792: Pull request #391 opened by viper-admin
February 20, 2024 06:04 12s auto-update-submodules
auto-update-submodules
February 20, 2024 06:04 12s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.