Skip to content

Actions: viperproject/gobra

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
622 workflow runs
622 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
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 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
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 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
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 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
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
backup test #4739: Commit 34d880e pushed by jcp19
September 23, 2024 07:46 9m 16s msinit
msinit
September 23, 2024 07:46 9m 16s
parsing-related changes test #4738: Commit 5040a93 pushed by jcp19
September 22, 2024 13:29 1h 5m 43s msinit
msinit
September 22, 2024 13:29 1h 5m 43s
Revert "Add refute statement" test #4737: Pull request #787 opened by jcp19
September 19, 2024 08:24 16m 9s revert-776-bruggerl/refute
revert-776-bruggerl/refute
September 19, 2024 08:24 16m 9s
Revert "Add refute statement (#776)" test #4736: Commit 83cffc8 pushed by jcp19
September 19, 2024 08:12 21m 56s revert-776-bruggerl/refute
revert-776-bruggerl/refute
September 19, 2024 08:12 21m 56s
Update Submodules test #4735: Pull request #786 opened by viper-admin
September 17, 2024 12:37 29m 39s auto-update-submodules
auto-update-submodules
September 17, 2024 12:37 29m 39s
Updates submodules test #4734: Commit 0ae4fe3 pushed by viper-admin
September 17, 2024 12:37 21m 17s auto-update-submodules
auto-update-submodules
September 17, 2024 12:37 21m 17s
backup test #4733: Commit 2707ddb pushed by jcp19
September 15, 2024 16:52 23m 57s msinit
msinit
September 15, 2024 16:52 23m 57s