Skip to content

Actions: goblint/GobPie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 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
Bugfix: "internal error" message shown when trying to step from a state with multiple target edges build #292: Pull request #77 opened by karoliineh
October 31, 2024 19:59 1m 0s ambiguous-path-bug
ambiguous-path-bug
October 31, 2024 19:59 1m 0s
When setting a breakpoint to the paper demo on line 21, stepping resu… build #291: Commit 0173a13 pushed by karoliineh
October 31, 2024 19:52 3m 27s ambiguous-path-bug
ambiguous-path-bug
October 31, 2024 19:52 3m 27s
Add DEBT'24 (and Onward!24) demo materials build #290: Pull request #76 opened by karoliineh
October 31, 2024 19:50 37s debt-24-demo-materials
debt-24-demo-materials
October 31, 2024 19:50 37s
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
Fixes to examples build #289: Commit 83b2565 pushed by karoliineh
October 31, 2024 19:49 3m 29s debt-24-demo-materials
debt-24-demo-materials
October 31, 2024 19:49 3m 29s
Merge branch 'master' into debt-24-demo-materials build #288: Commit 60be1db pushed by karoliineh
September 13, 2024 12:57 1m 7s debt-24-demo-materials
debt-24-demo-materials
September 13, 2024 12:57 1m 7s
Update DEBT demo ReadMe build #287: Commit 3759d3f pushed by karoliineh
September 13, 2024 12:54 1m 7s debt-24-demo-materials
debt-24-demo-materials
September 13, 2024 12:54 1m 7s
Merge pull request #75 from goblint/path-step-into-targets build #286: Commit 96beec2 pushed by karoliineh
September 13, 2024 12:43 1m 9s master
master
September 13, 2024 12:43 1m 9s
Show value of lval in step into targets' options build #285: Pull request #75 synchronize by karoliineh
September 13, 2024 12:36 1m 4s path-step-into-targets
path-step-into-targets
September 13, 2024 12:36 1m 4s
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
Merge branch 'master' into path-step-into-targets build #284: Commit b60d6ba pushed by karoliineh
September 13, 2024 12:36 1m 13s path-step-into-targets
path-step-into-targets
September 13, 2024 12:36 1m 13s
Merge pull request #74 from goblint/issue-73 build #283: Commit ce3a023 pushed by karoliineh
September 13, 2024 12:31 3m 25s master
master
September 13, 2024 12:31 3m 25s
Make ambiguous paths unavailable instead throwing an error build #282: Pull request #74 synchronize by karoliineh
September 13, 2024 12:30 1m 9s issue-73
issue-73
September 13, 2024 12:30 1m 9s
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
Change log.info to log.warn for disabling sync stepping build #281: Commit d14fd15 pushed by karoliineh
September 13, 2024 12:30 1m 26s issue-73
issue-73
September 13, 2024 12:30 1m 26s
Show value of lval in step into targets' options build #280: Pull request #75 opened by karoliineh
September 13, 2024 09:22 1m 15s path-step-into-targets
path-step-into-targets
September 13, 2024 09:22 1m 15s
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
Add some additional materials build #279: Commit 0b8cdc7 pushed by karoliineh
September 13, 2024 09:22 1m 9s debt-24-demo-materials
debt-24-demo-materials
September 13, 2024 09:22 1m 9s
Add paper example build #278: Commit bce39b4 pushed by karoliineh
September 13, 2024 09:20 3m 25s debt-24-demo-materials
debt-24-demo-materials
September 13, 2024 09:20 3m 25s
Show value of lval in step into targets' options build #277: Commit ce24ae2 pushed by karoliineh
September 13, 2024 09:16 3m 32s path-step-into-targets
path-step-into-targets
September 13, 2024 09:16 3m 32s
Make ambiguous paths unavailable instead throwing an error build #276: Pull request #74 synchronize by karoliineh
September 13, 2024 08:49 1m 16s issue-73
issue-73
September 13, 2024 08:49 1m 16s
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
Remove unused throws from method signature build #275: Commit ffeac79 pushed by karoliineh
September 13, 2024 08:49 1m 9s issue-73
issue-73
September 13, 2024 08:49 1m 9s
Make ambiguous paths unavailable instead throwing an error build #274: Pull request #74 opened by karoliineh
September 13, 2024 08:47 1m 13s issue-73
issue-73
September 13, 2024 08:47 1m 13s