Skip to content

Actions: goblint/analyzer

Actions

metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
metadata.yml
11 workflow run results
11 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add get_unknownptrs and has_unknownptr and use remove_unknownptrs ins… metadata #572: Commit d5a81da pushed by karoliineh
November 21, 2023 10:13 34s unknown-origins
unknown-origins
November 21, 2023 10:13 34s
Merge branch 'master' into pldi-bench metadata #571: Commit f52baee pushed by sim642
November 17, 2023 12:25 20s pldi-bench
pldi-bench
November 17, 2023 12:25 20s
Merge branch 'master' into region-escape metadata #570: Commit d26f8fb pushed by sim642
November 17, 2023 10:29 20s region-escape
region-escape
November 17, 2023 10:29 20s
Termination: Update verdict to TODO for 78/35. metadata #569: Commit 2728c2a pushed by jerhard
November 14, 2023 09:23 21s termination_dev
termination_dev
November 14, 2023 09:23 21s
Make type of variables used for loop termination analysis more easily… metadata #568: Commit 704a8f1 pushed by jerhard
November 9, 2023 17:12 25s termination_dev
termination_dev
November 9, 2023 17:12 25s
Merge branch 'master' into issue_843 metadata #567: Commit 809e5a0 pushed by michael-schwarz
November 1, 2023 16:48 26s issue_843
issue_843
November 1, 2023 16:48 26s
Merge branch 'master' into svcomp24-conf metadata #566: Commit ebc8cf8 pushed by sim642
November 1, 2023 10:11 26s svcomp24-conf
svcomp24-conf
November 1, 2023 10:11 26s
Merge pull request #1222 from goblint/dependabot/github_actions/actio… metadata #565: Commit 03131eb pushed by sim642
October 26, 2023 08:12 38s master
master
October 26, 2023 08:12 38s
Bump actions/setup-node from 3 to 4 metadata #564: Pull request #1222 opened by dependabot bot
October 23, 2023 20:19 27s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 27s
Bump actions/setup-node from 3 to 4 metadata #563: Commit af904ac pushed by dependabot bot
October 23, 2023 20:19 23s dependabot/github_actions/actions/setup-node-4
dependabot/github_actions/actions/setup-node-4
October 23, 2023 20:19 23s
Merge branch 'master' into cfg-optimize metadata #562: Commit b962288 pushed by michael-schwarz
September 23, 2023 14:03 25s cfg-optimize
cfg-optimize
September 23, 2023 14:03 25s