Skip to content

Actions: viperproject/gobra

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for rel Expressions license-check #2314: Pull request #986 synchronize by ArquintL
12s hyper-rel
hyper-rel
12s
Support for rel Expressions test #5815: Pull request #986 synchronize by ArquintL
22m 39s hyper-rel
hyper-rel
22m 39s
fixes compilation error test #5814: Commit 2f58777 pushed by ArquintL
21m 31s hyper-rel
hyper-rel
21m 31s
Support for rel Expressions license-check #2313: Pull request #986 synchronize by ArquintL
9s hyper-rel
hyper-rel
9s
Support for rel Expressions test #5813: Pull request #986 synchronize by ArquintL
4m 10s hyper-rel
hyper-rel
4m 10s
fixes GobraTests to correctly consider in-file configs during parsing… test #5812: Commit 74462f9 pushed by ArquintL
3m 46s hyper-rel
hyper-rel
3m 46s
Support for rel Expressions test #5811: Pull request #986 synchronize by ArquintL
3m 28s hyper-rel
hyper-rel
3m 28s
Support for rel Expressions license-check #2312: Pull request #986 synchronize by ArquintL
9s hyper-rel
hyper-rel
9s
Improves error wording test #5810: Commit 7028ee9 pushed by ArquintL
3m 40s hyper-rel
hyper-rel
3m 40s
Support for rel Expressions license-check #2311: Pull request #986 synchronize by ArquintL
10s hyper-rel
hyper-rel
10s
Support for rel Expressions test #5809: Pull request #986 synchronize by ArquintL
21m 49s hyper-rel
hyper-rel
21m 49s
fixes some of the unit tests about 'rel' test #5808: Commit 52c8b08 pushed by ArquintL
22m 11s hyper-rel
hyper-rel
22m 11s
Support for rel Expressions license-check #2310: Pull request #986 opened by ArquintL
8s hyper-rel
hyper-rel
8s
Support for rel Expressions test #5807: Pull request #986 opened by ArquintL
22m 25s hyper-rel
hyper-rel
22m 25s
adds support for rel expressions test #5806: Commit c4eb0ee pushed by ArquintL
21m 54s hyper-rel
hyper-rel
21m 54s
update Readme test #5805: Commit 46ba6fe pushed by AndreaKe
31s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
31s
update submodules test #5804: Commit 169d239 pushed by AndreaKe
19s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
19s
update submodules test #5803: Commit bff9e1f pushed by AndreaKe
13s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
13s
update submodules test #5802: Commit 11bfba3 pushed by AndreaKe
29s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
29s
update submodules test #5801: Commit 8d01b83 pushed by AndreaKe
17s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
17s
fix AnalysisSourceInfo test #5800: Commit fb0b7f5 pushed by AndreaKe
22s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
22s
simplify DependencyAnalysisAnnotationTransformer test #5799: Commit 395e905 pushed by AndreaKe
23s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
23s
fix assumption type of termination measures test #5798: Commit d5f8fbb pushed by AndreaKe
20s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
20s
fix Gobra positions by iterating through the tree test #5797: Commit c2bd295 pushed by AndreaKe
19s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
19s
cleanup of how passing dependency results to Gobra test #5796: Commit cc450d5 pushed by AndreaKe
17s keuscha/assumption_analysis_gobra
keuscha/assumption_analysis_gobra
17s