Skip to content

Actions: goblint/GobPie

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
58 workflow runs
58 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 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
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
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
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
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
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
Make ambiguous paths unavailable instead throwing an error build #273: Commit cde2015 pushed by karoliineh
September 13, 2024 08:46 3m 27s issue-73
issue-73
September 13, 2024 08:46 3m 27s
Bump version from 0.0.4 to 0.0.5 build #272: Commit fff58cc pushed by karoliineh
June 27, 2024 12:53 1m 13s 0.0.5
0.0.5
June 27, 2024 12:53 1m 13s
build build #271: by karoliineh
June 27, 2024 12:51 1m 17s 0.0.4
0.0.4
June 27, 2024 12:51 1m 17s
build build #270: by karoliineh
June 27, 2024 10:42 1m 16s 0.0.4
0.0.4
June 27, 2024 10:42 1m 16s
Merge pull request #36 from goblint/show-cfg build #269: Commit 3b577f0 pushed by karoliineh
June 27, 2024 10:42 55s 0.0.3
0.0.3
June 27, 2024 10:42 55s
Merge pull request #19 from goblint/server-mode build #268: Commit 319e3f6 pushed by karoliineh
June 27, 2024 10:40 50s 0.0.2
0.0.2
June 27, 2024 10:40 50s