Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
808 workflow run results
808 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump batteries to 3.5.1 & Remove hacks indentation #8824: Pull request #1282 synchronize by michael-schwarz
December 1, 2023 20:42 3m 6s batteries_bump
batteries_bump
December 1, 2023 20:42 3m 6s
Require batteries >=3.5.1 indentation #8823: Commit aa7a8bb pushed by michael-schwarz
December 1, 2023 20:42 2m 48s batteries_bump
batteries_bump
December 1, 2023 20:42 2m 48s
Bump batteries to 3.5.1 & Remove hacks indentation #8822: Pull request #1282 opened by michael-schwarz
December 1, 2023 20:37 2s batteries_bump
batteries_bump
December 1, 2023 20:37 2s
Remove some workarounds not needed with batteries >=3.5.1 indentation #8821: Commit 8104b3e pushed by michael-schwarz
December 1, 2023 20:36 2s batteries_bump
batteries_bump
December 1, 2023 20:36 2s
RFC: Remove spec & file analyses indentation #8820: Pull request #1281 synchronize by michael-schwarz
December 1, 2023 20:06 2m 57s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 2m 57s
Rm: Mainspec indentation #8819: Commit 9e0ef1c pushed by michael-schwarz
December 1, 2023 20:06 2m 49s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 2m 49s
RFC: Remove spec & file analyses indentation #8818: Pull request #1281 opened by michael-schwarz
December 1, 2023 19:49 3s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:49 3s
RFC: Remove spec & file analysis indentation #8817: Commit 89698bc pushed by michael-schwarz
December 1, 2023 19:45 2s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:45 2s
Fix name of modifiedSinceSetjmp indentation #8816: Pull request #1280 opened by michael-schwarz
December 1, 2023 19:25 2s fix_setjmpname
fix_setjmpname
December 1, 2023 19:25 2s
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
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 indentation #8813: Commit 71489df pushed by michael-schwarz
December 1, 2023 19:12 3s printable_either3
printable_either3
December 1, 2023 19:12 3s
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 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
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
Add going multithreaded to lock-digest test indentation #8809: Commit 3f8c5d3 pushed by sim642
November 30, 2023 13:04 3m 9s lock-digest
lock-digest
November 30, 2023 13:04 3m 9s
Add lock-digest example from more-traces indentation #8808: Commit 78a8484 pushed by sim642
November 30, 2023 13:01 3s lock-digest
lock-digest
November 30, 2023 13:01 3s
Generalize mutex-meet-tid privatization to arbitrary digest indentation #8807: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 3m 14s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 3m 14s
Avoid MustJoinedThreads query in ThreadDigest if not needed indentation #8806: Commit 05198f9 pushed by sim642
November 30, 2023 11:35 3m 13s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 3m 13s
Generalize mutex-meet-tid privatization to arbitrary digest indentation #8805: Pull request #1278 opened by sim642
November 30, 2023 11:05 2s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 2s
Generalize mutex-meet-tid privatization to arbitrary digest indentation #8804: Commit a392323 pushed by sim642
November 30, 2023 11:01 2s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:01 2s
Generalize mutex-meet-tid privatization to arbitrary digest indentation #8803: Commit 5a7ea92 pushed by sim642
November 30, 2023 10:58 3s priv-atomic-digest
priv-atomic-digest
November 30, 2023 10:58 3s
More precise abstractions of trigonometric functions using c-stubs indentation #8802: Pull request #1277 synchronize by FelixKrayer
November 29, 2023 15:34 3m 0s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 15:34 3m 0s
Merge pull request #1274 from goblint/base-invariant-abs-cleanup indentation #8801: Commit db49fe9 pushed by sim642
November 29, 2023 15:00 3m 10s master
master
November 29, 2023 15:00 3m 10s
Add test case for issue #1267 indentation #8800: Commit f6addb9 pushed by jerhard
November 29, 2023 14:33 1s issue_1267
issue_1267
November 29, 2023 14:33 1s