Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,185 workflow run results
4,185 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'priv-atomic' into priv-atomic-disjunctive indentation #9264: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 3m 3s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 3m 3s
Merge branch 'priv-atomic' into priv-atomic-disjunctive locked #9675: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 11m 6s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 11m 6s
Merge branch 'priv-atomic' into priv-atomic-disjunctive semgrep #8940: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 44s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 44s
Merge branch 'priv-atomic' into priv-atomic-disjunctive metadata #588: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 18s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 18s
Merge branch 'priv-atomic' into priv-atomic-disjunctive options #7283: Commit 228a0a8 pushed by sim642
January 25, 2024 15:24 25s priv-atomic-disjunctive
priv-atomic-disjunctive
January 25, 2024 15:24 25s
Merge pull request #1335 from goblint/issue-1249 semgrep #8939: Commit c0e151d pushed by sim642
January 25, 2024 14:30 42s master
master
January 25, 2024 14:30 42s
Merge pull request #1335 from goblint/issue-1249 options #7282: Commit c0e151d pushed by sim642
January 25, 2024 14:30 23s master
master
January 25, 2024 14:30 23s
Merge pull request #1335 from goblint/issue-1249 docs #253: Commit c0e151d pushed by sim642
January 25, 2024 14:30 6m 0s master
master
January 25, 2024 14:30 6m 0s
Merge pull request #1335 from goblint/issue-1249 indentation #9263: Commit c0e151d pushed by sim642
January 25, 2024 14:30 3m 48s master
master
January 25, 2024 14:30 3m 48s
Merge pull request #1335 from goblint/issue-1249 locked #9674: Commit c0e151d pushed by sim642
January 25, 2024 14:30 24m 34s master
master
January 25, 2024 14:30 24m 34s
Support for inline assembler & goto instructions in inline assembler locked #9673: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 30m 42s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 30m 42s
Support for inline assembler & goto instructions in inline assembler options #7281: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 20s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 20s
Support for inline assembler & goto instructions in inline assembler semgrep #8938: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 43s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 43s
Support for inline assembler & goto instructions in inline assembler indentation #9262: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 3m 8s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 3m 8s
Support for inline assembler & goto instructions in inline assembler coverage #1183: Pull request #1326 synchronize by WernerDrasche
January 25, 2024 13:44 10m 45s N0W0RK:master
N0W0RK:master
January 25, 2024 13:44 10m 45s
Add some hacky atomic privatizations options #7279: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 18s priv-atomic
priv-atomic
January 25, 2024 11:53 18s
Add some hacky atomic privatizations semgrep #8936: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 41s priv-atomic
priv-atomic
January 25, 2024 11:53 41s
Add some hacky atomic privatizations indentation #9260: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 3m 19s priv-atomic
priv-atomic
January 25, 2024 11:53 3m 19s
Add some hacky atomic privatizations coverage #1181: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 11m 48s priv-atomic
priv-atomic
January 25, 2024 11:53 11m 48s
Add some hacky atomic privatizations locked #9671: Pull request #1216 synchronize by sim642
January 25, 2024 11:53 21m 35s priv-atomic
priv-atomic
January 25, 2024 11:53 21m 35s
Make mutex-meet-tid-atomic more precise for no-write unlocks options #7278: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 22s priv-atomic
priv-atomic
January 25, 2024 11:53 22s
Make mutex-meet-tid-atomic more precise for no-write unlocks semgrep #8935: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 39s priv-atomic
priv-atomic
January 25, 2024 11:53 39s
Make mutex-meet-tid-atomic more precise for no-write unlocks indentation #9259: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 4m 1s priv-atomic
priv-atomic
January 25, 2024 11:53 4m 1s
Make mutex-meet-tid-atomic more precise for no-write unlocks locked #9670: Commit 67558f4 pushed by sim642
January 25, 2024 11:53 21m 56s priv-atomic
priv-atomic
January 25, 2024 11:53 21m 56s
Add some hacky atomic privatizations locked #9669: Pull request #1216 synchronize by sim642
January 25, 2024 11:19 29m 52s priv-atomic
priv-atomic
January 25, 2024 11:19 29m 52s