Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix NullPtr assignment crash in relation analysis semgrep #8925: Commit 0c72edd pushed by sim642
January 24, 2024 15:16 40s issue-1249
issue-1249
January 24, 2024 15:16 40s
Exclude Goblint stubs from YAML witnesses coverage #1171: Pull request #1334 opened by sim642
January 24, 2024 12:42 11m 1s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 11m 1s
Exclude Goblint stubs from YAML witnesses locked #9658: Pull request #1334 opened by sim642
January 24, 2024 12:42 21m 2s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 21m 2s
Exclude Goblint stubs from YAML witnesses semgrep #8924: Pull request #1334 opened by sim642
January 24, 2024 12:42 46s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 46s
Exclude Goblint stubs from YAML witnesses indentation #9248: Pull request #1334 opened by sim642
January 24, 2024 12:42 3s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 3s
Exclude Goblint stubs from YAML witnesses options #7267: Pull request #1334 opened by sim642
January 24, 2024 12:42 19s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:42 19s
Exclude Goblint stubs from YAML witnesses locked #9657: Commit 20c500f pushed by sim642
January 24, 2024 12:32 24m 1s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 24m 1s
Exclude Goblint stubs from YAML witnesses indentation #9247: Commit 20c500f pushed by sim642
January 24, 2024 12:32 2s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 2s
Exclude Goblint stubs from YAML witnesses options #7266: Commit 20c500f pushed by sim642
January 24, 2024 12:32 23s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 23s
Exclude Goblint stubs from YAML witnesses semgrep #8923: Commit 20c500f pushed by sim642
January 24, 2024 12:32 36s freiburg-witness-fixes
freiburg-witness-fixes
January 24, 2024 12:32 36s
Merge pull request #1308 from goblint/issue-1266 options #7265: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 19s master
master
January 24, 2024 11:04 19s
Merge pull request #1308 from goblint/issue-1266 semgrep #8922: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 44s master
master
January 24, 2024 11:04 44s
Merge pull request #1308 from goblint/issue-1266 locked #9656: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 24m 55s master
master
January 24, 2024 11:04 24m 55s
Merge pull request #1308 from goblint/issue-1266 indentation #9246: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 3m 9s master
master
January 24, 2024 11:04 3m 9s
Merge pull request #1308 from goblint/issue-1266 docs #252: Commit 71e21b2 pushed by sim642
January 24, 2024 11:04 5m 49s master
master
January 24, 2024 11:04 5m 49s
Merge pull request #1332 from goblint/unassume-artifact docs #251: Commit d82f710 pushed by sim642
January 24, 2024 11:01 4m 8s master
master
January 24, 2024 11:01 4m 8s
Merge pull request #1332 from goblint/unassume-artifact semgrep #8921: Commit d82f710 pushed by sim642
January 24, 2024 11:01 36s master
master
January 24, 2024 11:01 36s
Merge pull request #1332 from goblint/unassume-artifact indentation #9245: Commit d82f710 pushed by sim642
January 24, 2024 11:01 2m 59s master
master
January 24, 2024 11:01 2m 59s
Merge pull request #1332 from goblint/unassume-artifact options #7264: Commit d82f710 pushed by sim642
January 24, 2024 11:01 20s master
master
January 24, 2024 11:01 20s
Merge pull request #1332 from goblint/unassume-artifact locked #9655: Commit d82f710 pushed by sim642
January 24, 2024 11:01 25m 3s master
master
January 24, 2024 11:01 25m 3s
Merge pull request #1233 from goblint/concrat-both-branches semgrep #8920: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 38s master
master
January 24, 2024 10:59 38s
Merge pull request #1233 from goblint/concrat-both-branches docs #250: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 1m 26s master
master
January 24, 2024 10:59 1m 26s
Merge pull request #1233 from goblint/concrat-both-branches indentation #9244: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 3m 2s master
master
January 24, 2024 10:59 3m 2s
Merge pull request #1233 from goblint/concrat-both-branches options #7263: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 20s master
master
January 24, 2024 10:59 20s
Merge pull request #1233 from goblint/concrat-both-branches locked #9654: Commit 2b98818 pushed by sim642
January 24, 2024 10:59 24m 44s master
master
January 24, 2024 10:59 24m 44s