Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
970 workflow runs
970 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix function name in tutorial (#789) test #4757: Commit 2366f74 pushed by jcp19
October 3, 2024 10:27 16m 31s master
master
October 3, 2024 10:27 16m 31s
docs: correct function name in tutorial test #4756: Pull request #789 opened by aaronbojarski
October 3, 2024 09:57 18m 33s aaronbojarski:fix-tutorial
aaronbojarski:fix-tutorial
October 3, 2024 09:57 18m 33s
docs: correct function name in tutorial license-check #1903: Pull request #789 opened by aaronbojarski
October 3, 2024 09:57 17s aaronbojarski:fix-tutorial
aaronbojarski:fix-tutorial
October 3, 2024 09:57 17s
added ccs files test #4755: Commit 077f2ac pushed by Felalolf
October 2, 2024 09:47 9m 37s ccs_check
ccs_check
October 2, 2024 09:47 9m 37s
Updates submodules (#786) test #4754: Commit 322aa64 pushed by jcp19
October 1, 2024 10:41 22m 16s master
master
October 1, 2024 10:41 22m 16s
Bump peter-evans/create-pull-request from 6 to 7 in the all group (#788) test #4753: Commit fdbd081 pushed by jcp19
October 1, 2024 08:53 15m 8s master
master
October 1, 2024 08:53 15m 8s
Bump peter-evans/create-pull-request from 6 to 7 in the all group test #4752: Pull request #788 opened by dependabot bot
October 1, 2024 07:06 14m 47s dependabot/github_actions/all-533f70582a
dependabot/github_actions/all-533f70582a
October 1, 2024 07:06 14m 47s
Bump peter-evans/create-pull-request from 6 to 7 in the all group license-check #1902: Pull request #788 opened by dependabot bot
October 1, 2024 07:06 14s dependabot/github_actions/all-533f70582a
dependabot/github_actions/all-533f70582a
October 1, 2024 07:06 14s
Bump peter-evans/create-pull-request from 6 to 7 in the all group test #4751: Commit 26129b4 pushed by dependabot bot
October 1, 2024 07:06 14m 46s dependabot/github_actions/all-533f70582a
dependabot/github_actions/all-533f70582a
October 1, 2024 07:06 14m 46s
Update Submodules Update Submodules #108: Scheduled
October 1, 2024 06:00 15s master
master
October 1, 2024 06:00 15s
fix resources from friend pkgs test #4750: Commit 37e8fc5 pushed by jcp19
September 30, 2024 08:40 9m 45s msinit
msinit
September 30, 2024 08:40 9m 45s
Update Submodules license-check #1901: Pull request #786 synchronize by viper-admin
September 28, 2024 17:48 14s auto-update-submodules
auto-update-submodules
September 28, 2024 17:48 14s
Update Submodules test #4749: Pull request #786 synchronize by viper-admin
September 28, 2024 17:48 19m 38s auto-update-submodules
auto-update-submodules
September 28, 2024 17:48 19m 38s
Updates submodules test #4748: Commit 2f9281b pushed by viper-admin
September 28, 2024 17:48 18m 23s auto-update-submodules
auto-update-submodules
September 28, 2024 17:48 18m 23s
Update Submodules Update Submodules #107: Manually run by jcp19
September 28, 2024 17:47 16s master
master
September 28, 2024 17:47 16s
Revert "Add refute statement (#776)" (#787) test #4747: Commit ab4c34d pushed by jcp19
September 28, 2024 17:47 16m 59s master
master
September 28, 2024 17:47 16m 59s
backup test #4746: Commit fe93135 pushed by jcp19
September 28, 2024 17:45 9m 45s msinit
msinit
September 28, 2024 17:45 9m 45s
Update Submodules license-check #1900: Pull request #786 synchronize by viper-admin
September 26, 2024 15:30 13s auto-update-submodules
auto-update-submodules
September 26, 2024 15:30 13s
Update Submodules test #4745: Pull request #786 synchronize by viper-admin
September 26, 2024 15:30 24m 1s auto-update-submodules
auto-update-submodules
September 26, 2024 15:30 24m 1s
Updates submodules test #4744: Commit 713cf5e pushed by viper-admin
September 26, 2024 15:30 24m 40s auto-update-submodules
auto-update-submodules
September 26, 2024 15:30 24m 40s
Update Submodules Update Submodules #106: Manually run by jcp19
September 26, 2024 15:30 21s master
master
September 26, 2024 15:30 21s
allow ghost globals test #4743: Commit 72a6949 pushed by jcp19
September 26, 2024 11:02 9m 34s msinit
msinit
September 26, 2024 11:02 9m 34s
backup test #4742: Commit 6bea45a pushed by jcp19
September 23, 2024 20:06 8m 57s msinit
msinit
September 23, 2024 20:06 8m 57s
improve syntax for 'openDupPkgInv' test #4741: Commit ee1f467 pushed by jcp19
September 23, 2024 14:20 9m 56s msinit
msinit
September 23, 2024 14:20 9m 56s
backup test #4740: Commit e92a034 pushed by jcp19
September 23, 2024 14:03 9m 40s msinit
msinit
September 23, 2024 14:03 9m 40s