Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

change default perm interpretations in function pres (#843) test #5040: Commit 781aa12 pushed by jcp19
February 7, 2025 21:24 21m 2s master
master
February 7, 2025 21:24 21m 2s
Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper test #5039: Pull request #843 opened by jcp19
February 7, 2025 14:41 44m 53s jcp19-change-to-new-perm-semantics
jcp19-change-to-new-perm-semantics
February 7, 2025 14:41 44m 53s
Change the default interpretation of access predicates in function preconditions according to the new semantics of Viper license-check #2022: Pull request #843 opened by jcp19
February 7, 2025 14:41 15s jcp19-change-to-new-perm-semantics
jcp19-change-to-new-perm-semantics
February 7, 2025 14:41 15s
change default perm interpretations in function pres test #5038: Commit 8eac2d8 pushed by jcp19
February 7, 2025 14:40 22m 19s jcp19-change-to-new-perm-semantics
jcp19-change-to-new-perm-semantics
February 7, 2025 14:40 22m 19s
backup test #5037: Commit ced6280 pushed by jcp19
February 7, 2025 14:37 24m 52s hyperGobraPlugin
hyperGobraPlugin
February 7, 2025 14:37 24m 52s
Updates submodules (#842) test #5036: Commit 77cbab0 pushed by jcp19
February 6, 2025 12:23 21m 29s master
master
February 6, 2025 12:23 21m 29s
Update Submodules test #5035: Pull request #842 opened by viper-admin
February 6, 2025 10:52 14m 56s auto-update-submodules
auto-update-submodules
February 6, 2025 10:52 14m 56s
Update Submodules license-check #2021: Pull request #842 opened by viper-admin
February 6, 2025 10:52 13s auto-update-submodules
auto-update-submodules
February 6, 2025 10:52 13s
Updates submodules test #5034: Commit 083baa3 pushed by viper-admin
February 6, 2025 10:52 22m 55s auto-update-submodules
auto-update-submodules
February 6, 2025 10:52 22m 55s
Update Submodules Update Submodules #129: Manually run by jcp19
February 6, 2025 10:52 16s master
master
February 6, 2025 10:52 16s
Hyper Gobra test #5033: Pull request #802 synchronize by jcp19
February 5, 2025 16:08 13m 36s hyperGobra
hyperGobra
February 5, 2025 16:08 13m 36s
Hyper Gobra license-check #2020: Pull request #802 synchronize by jcp19
February 5, 2025 16:08 13s hyperGobra
hyperGobra
February 5, 2025 16:08 13s
Merge branch 'master' into hyperGobra test #5032: Commit da5f3e5 pushed by jcp19
February 5, 2025 16:08 13m 6s hyperGobra
hyperGobra
February 5, 2025 16:08 13m 6s
Fix #815 license-check #2019: Pull request #838 synchronize by jcp19
February 5, 2025 16:05 14s fix-815
fix-815
February 5, 2025 16:05 14s
Fix #815 test #5031: Pull request #838 synchronize by jcp19
February 5, 2025 16:05 28m 21s fix-815
fix-815
February 5, 2025 16:05 28m 21s
add check for ghost pure members too test #5030: Commit ded98e5 pushed by jcp19
February 5, 2025 16:05 21m 12s fix-815
fix-815
February 5, 2025 16:05 21m 12s
Fix #836 (#837) test #5029: Commit 67402a2 pushed by jcp19
February 5, 2025 13:56 22m 30s master
master
February 5, 2025 13:56 22m 30s
Fix #815 license-check #2018: Pull request #838 synchronize by jcp19
February 5, 2025 11:21 16s fix-815
fix-815
February 5, 2025 11:21 16s
Fix #815 test #5028: Pull request #838 synchronize by jcp19
February 5, 2025 11:21 23m 21s fix-815
fix-815
February 5, 2025 11:21 23m 21s
fix 815 test #5027: Commit dc71130 pushed by jcp19
February 5, 2025 11:21 23m 19s fix-815
fix-815
February 5, 2025 11:21 23m 19s
Fix #815 license-check #2017: Pull request #838 opened by jcp19
February 5, 2025 11:21 13s fix-815
fix-815
February 5, 2025 11:21 13s
Fix #815 test #5026: Pull request #838 opened by jcp19
February 5, 2025 11:21 21m 16s fix-815
fix-815
February 5, 2025 11:21 21m 16s
add witness of bug test #5025: Commit d90c9ff pushed by jcp19
February 5, 2025 11:20 21m 22s fix-815
fix-815
February 5, 2025 11:20 21m 22s
Fix #836 license-check #2016: Pull request #837 synchronize by jcp19
February 5, 2025 11:08 14s fix-836
fix-836
February 5, 2025 11:08 14s
Fix #836 test #5024: Pull request #837 synchronize by jcp19
February 5, 2025 11:08 40m 35s fix-836
fix-836
February 5, 2025 11:08 40m 35s