Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix name of modifiedSinceSetjmp options #6834: Commit 11516b1 pushed by michael-schwarz
December 1, 2023 19:23 24s fix_setjmpname
fix_setjmpname
December 1, 2023 19:23 24s
Fix name of modifiedSinceSetjmp indentation #8815: Commit 11516b1 pushed by michael-schwarz
December 1, 2023 19:23 2s fix_setjmpname
fix_setjmpname
December 1, 2023 19:23 2s
Fix name of modifiedSinceSetjmp semgrep #8502: Commit 11516b1 pushed by michael-schwarz
December 1, 2023 19:23 44s fix_setjmpname
fix_setjmpname
December 1, 2023 19:23 44s
Introduce Printable.Either3 locked #9170: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 34m 32s printable_either3
printable_either3
December 1, 2023 19:16 34m 32s
Introduce Printable.Either3 semgrep #8501: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 45s printable_either3
printable_either3
December 1, 2023 19:16 45s
Introduce Printable.Either3 indentation #8814: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 3s printable_either3
printable_either3
December 1, 2023 19:16 3s
Introduce Printable.Either3 options #6833: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 22s printable_either3
printable_either3
December 1, 2023 19:16 22s
Introduce Printable.Either3 coverage #899: Pull request #1279 opened by michael-schwarz
December 1, 2023 19:16 20m 5s printable_either3
printable_either3
December 1, 2023 19:16 20m 5s
Introduce Printable.Either3 indentation #8813: Commit 71489df pushed by michael-schwarz
December 1, 2023 19:12 3s printable_either3
printable_either3
December 1, 2023 19:12 3s
Introduce Printable.Either3 options #6832: Commit 71489df pushed by michael-schwarz
December 1, 2023 19:12 23s printable_either3
printable_either3
December 1, 2023 19:12 23s
Introduce Printable.Either3 semgrep #8500: Commit 71489df pushed by michael-schwarz
December 1, 2023 19:12 45s printable_either3
printable_either3
December 1, 2023 19:12 45s
Introduce Printable.Either3 locked #9169: Commit 71489df pushed by michael-schwarz
December 1, 2023 19:12 31m 29s printable_either3
printable_either3
December 1, 2023 19:12 31m 29s
Add global invariant to maylocksdigest locked #9168: Commit 21e0644 pushed by sim642
December 1, 2023 08:47 25m 39s lock-digest
lock-digest
December 1, 2023 08:47 25m 39s
Add global invariant to maylocksdigest options #6831: Commit 21e0644 pushed by sim642
December 1, 2023 08:47 25s lock-digest
lock-digest
December 1, 2023 08:47 25s
Add global invariant to maylocksdigest indentation #8812: Commit 21e0644 pushed by sim642
December 1, 2023 08:47 2m 56s lock-digest
lock-digest
December 1, 2023 08:47 2m 56s
Add global invariant to maylocksdigest semgrep #8499: Commit 21e0644 pushed by sim642
December 1, 2023 08:47 39s lock-digest
lock-digest
December 1, 2023 08:47 39s
coverage coverage #898: Scheduled
December 1, 2023 02:21 24m 12s master
master
December 1, 2023 02:21 24m 12s
docker docker #813: Scheduled
December 1, 2023 02:19 16m 28s master
master
December 1, 2023 02:19 16m 28s
locked locked #9167: Scheduled
December 1, 2023 02:12 2h 32m 20s master
master
December 1, 2023 02:12 2h 32m 20s
unlocked unlocked #1610: Scheduled
December 1, 2023 02:11 2h 20m 7s master
master
December 1, 2023 02:11 2h 20m 7s
Add MayLocksDigest query indentation #8811: Commit 90f1a62 pushed by sim642
November 30, 2023 13:45 3m 11s lock-digest
lock-digest
November 30, 2023 13:45 3m 11s
Add MayLocksDigest query semgrep #8498: Commit 90f1a62 pushed by sim642
November 30, 2023 13:45 44s lock-digest
lock-digest
November 30, 2023 13:45 44s
Add MayLocksDigest query options #6830: Commit 90f1a62 pushed by sim642
November 30, 2023 13:45 20s lock-digest
lock-digest
November 30, 2023 13:45 20s
Add MayLocksDigest query locked #9166: Commit 90f1a62 pushed by sim642
November 30, 2023 13:45 33m 13s lock-digest
lock-digest
November 30, 2023 13:45 33m 13s
Fix lock-digest test indentation #8810: Commit 8e557ca pushed by sim642
November 30, 2023 13:06 7m 35s lock-digest
lock-digest
November 30, 2023 13:06 7m 35s