Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump the all group with 6 updates license-check #1748: Pull request #721 opened by dependabot bot
January 25, 2024 10:22 13s dependabot/github_actions/all-3242cc494e
dependabot/github_actions/all-3242cc494e
January 25, 2024 10:22 13s
Bump the all group with 6 updates test #4361: Pull request #721 opened by dependabot bot
January 25, 2024 10:22 21m 8s dependabot/github_actions/all-3242cc494e
dependabot/github_actions/all-3242cc494e
January 25, 2024 10:22 21m 8s
Bump the all group with 6 updates test #4360: Commit 7ce55f5 pushed by dependabot bot
January 25, 2024 10:22 20m 50s dependabot/github_actions/all-3242cc494e
dependabot/github_actions/all-3242cc494e
January 25, 2024 10:22 20m 50s
Adds dependabot for GitHub Actions test #4359: Commit 9953aa5 pushed by ArquintL
January 25, 2024 10:21 19m 43s master
master
January 25, 2024 10:21 19m 43s
Update Submodules license-check #1747: Pull request #720 opened by viper-admin
January 22, 2024 13:30 13s auto-update-submodules
auto-update-submodules
January 22, 2024 13:30 13s
Update Submodules test #4358: Pull request #720 opened by viper-admin
January 22, 2024 13:30 20m 45s auto-update-submodules
auto-update-submodules
January 22, 2024 13:30 20m 45s
Updates submodules test #4357: Commit 949fb6c pushed by viper-admin
January 22, 2024 13:30 1h 50m 56s auto-update-submodules
auto-update-submodules
January 22, 2024 13:30 1h 50m 56s
Update Submodules Update Submodules #75: Manually run by jcp19
January 22, 2024 13:29 20s master
master
January 22, 2024 13:29 20s
some files test #4356: Commit 0d86667 pushed by Felalolf
January 19, 2024 12:43 19m 26s hyperGobra
hyperGobra
January 19, 2024 12:43 19m 26s
WIP: fixing issue #719 test #4355: Commit 8711c25 pushed by ArquintL
January 19, 2024 07:50 3h 34m 56s issue-719
issue-719
January 19, 2024 07:50 3h 34m 56s
Check by default that all pure and ghost functions have termination m… test #4354: Commit 742b1b6 pushed by jcp19
January 12, 2024 22:01 13m 42s master
master
January 12, 2024 22:01 13m 42s
Check by default that all pure and ghost functions have termination measures license-check #1746: Pull request #718 synchronize by jcp19
January 12, 2024 13:13 16s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 13:13 16s
Check by default that all pure and ghost functions have termination measures test #4353: Pull request #718 synchronize by jcp19
January 12, 2024 13:13 13m 33s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 13:13 13m 33s
fix tests test #4352: Commit e7e6e7f pushed by jcp19
January 12, 2024 13:13 18m 35s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 13:13 18m 35s
Check by default that all pure and ghost functions have termination measures license-check #1745: Pull request #718 synchronize by jcp19
January 12, 2024 13:07 19s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 13:07 19s
Check by default that all pure and ghost functions have termination measures test #4351: Pull request #718 synchronize by jcp19
January 12, 2024 13:07 20m 28s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 13:07 20m 28s
check that all ghost methods have a termination measure as well test #4350: Commit 51a0fe1 pushed by jcp19
January 12, 2024 13:07 22m 18s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 13:07 22m 18s
Check by default that all pure and ghost functions have termination measures license-check #1744: Pull request #718 synchronize by jcp19
January 12, 2024 10:41 12s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 10:41 12s
Check by default that all pure and ghost functions have termination measures test #4349: Pull request #718 synchronize by jcp19
January 12, 2024 10:41 19m 37s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 10:41 19m 37s
fix tests test #4348: Commit 591af3a pushed by jcp19
January 12, 2024 10:41 14m 28s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 10:41 14m 28s
Check by default that all pure and ghost functions have termination measures license-check #1743: Pull request #718 synchronize by jcp19
January 12, 2024 10:36 14s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 10:36 14s
Check by default that all pure and ghost functions have termination measures test #4347: Pull request #718 synchronize by jcp19
January 12, 2024 10:36 20m 4s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 10:36 20m 4s
Apply suggestions from code review test #4346: Commit 5bfc4c8 pushed by jcp19
January 12, 2024 10:36 54m 41s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 12, 2024 10:36 54m 41s
Check by default that all pure and ghost functions have termination measures license-check #1742: Pull request #718 synchronize by jcp19
January 11, 2024 21:20 13s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 11, 2024 21:20 13s
Check by default that all pure and ghost functions have termination measures test #4345: Pull request #718 synchronize by jcp19
January 11, 2024 21:20 4h 3m 29s joao-check-well-founded-funcs
joao-check-well-founded-funcs
January 11, 2024 21:20 4h 3m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-01-11 or the other filters available.