Skip to content

Actions: goblint/GobPie

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bugfix: "internal error" message shown when trying to step from a state with multiple target edges coverage #12: Pull request #77 opened by karoliineh
October 31, 2024 19:59 42s ambiguous-path-bug
ambiguous-path-bug
October 31, 2024 19:59 42s
Add DEBT'24 (and Onward!24) demo materials coverage #11: Pull request #76 opened by karoliineh
October 31, 2024 19:50 3m 13s debt-24-demo-materials
debt-24-demo-materials
October 31, 2024 19:50 3m 13s
Show value of lval in step into targets' options coverage #10: Pull request #75 synchronize by karoliineh
September 13, 2024 12:36 49s path-step-into-targets
path-step-into-targets
September 13, 2024 12:36 49s
Make ambiguous paths unavailable instead throwing an error coverage #9: Pull request #74 synchronize by karoliineh
September 13, 2024 12:30 43s issue-73
issue-73
September 13, 2024 12:30 43s
Show value of lval in step into targets' options coverage #8: Pull request #75 opened by karoliineh
September 13, 2024 09:22 3m 13s path-step-into-targets
path-step-into-targets
September 13, 2024 09:22 3m 13s
Make ambiguous paths unavailable instead throwing an error coverage #7: Pull request #74 synchronize by karoliineh
September 13, 2024 08:49 44s issue-73
issue-73
September 13, 2024 08:49 44s
Make ambiguous paths unavailable instead throwing an error coverage #6: Pull request #74 opened by karoliineh
September 13, 2024 08:47 3m 7s issue-73
issue-73
September 13, 2024 08:47 3m 7s
coverage coverage #5: Manually run by karoliineh
June 26, 2024 11:01 47s master
master
June 26, 2024 11:01 47s
Add functional tests coverage #4: Pull request #72 synchronize by karoliineh
June 26, 2024 10:54 53s AnetteTaivere:master
AnetteTaivere:master
June 26, 2024 10:54 53s