Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
602 workflow run results
602 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify relational domains interface somewhat locked #9193: Pull request #1283 opened by michael-schwarz
December 4, 2023 18:42 33m 6s apron_libification
apron_libification
December 4, 2023 18:42 33m 6s
Move Environment things into GobApron locked #9192: Commit d1b6228 pushed by michael-schwarz
December 4, 2023 18:37 27m 7s apron_libification
apron_libification
December 4, 2023 18:37 27m 7s
Cleanup locked #9191: Commit 49eb46d pushed by michael-schwarz
December 4, 2023 18:08 26m 36s apron_libification
apron_libification
December 4, 2023 18:08 26m 36s
make_callee_rel: Introduce filter_map locked #9190: Commit d983113 pushed by michael-schwarz
December 4, 2023 16:37 27m 15s master
master
December 4, 2023 16:37 27m 15s
Add citation to TODO locked #9189: Commit 1473d6e pushed by michael-schwarz
December 4, 2023 16:31 29m 9s master
master
December 4, 2023 16:31 29m 9s
Localize two helpers in relationDomain.apron.ml locked #9188: Commit d7d3503 pushed by michael-schwarz
December 4, 2023 16:17 28m 47s master
master
December 4, 2023 16:17 28m 47s
RFC: Remove spec & file analyses locked #9187: Pull request #1281 synchronize by michael-schwarz
December 4, 2023 10:18 33m 10s remove_file_and_spec
remove_file_and_spec
December 4, 2023 10:18 33m 10s
Rm further spurious domains locked #9186: Commit 9891391 pushed by michael-schwarz
December 4, 2023 10:18 26m 32s remove_file_and_spec
remove_file_and_spec
December 4, 2023 10:18 26m 32s
Merge pull request #1279 from goblint/printable_either3 locked #9185: Commit e678d0e pushed by michael-schwarz
December 4, 2023 08:37 24m 23s master
master
December 4, 2023 08:37 24m 23s
Merge pull request #1280 from goblint/fix_setjmpname locked #9184: Commit 456b287 pushed by michael-schwarz
December 4, 2023 08:28 26m 20s master
master
December 4, 2023 08:28 26m 20s
locked locked #9183: Scheduled
December 4, 2023 02:07 2h 13m 30s master
master
December 4, 2023 02:07 2h 13m 30s
locked locked #9182: Scheduled
December 3, 2023 02:07 2h 15m 58s master
master
December 3, 2023 02:07 2h 15m 58s
locked locked #9181: Scheduled
December 2, 2023 02:02 2h 0m 23s master
master
December 2, 2023 02:02 2h 0m 23s
Bump batteries to 3.5.1 & Remove hacks locked #9180: Pull request #1282 synchronize by michael-schwarz
December 1, 2023 20:42 32m 49s batteries_bump
batteries_bump
December 1, 2023 20:42 32m 49s
Require batteries >=3.5.1 locked #9179: Commit aa7a8bb pushed by michael-schwarz
December 1, 2023 20:42 41m 39s batteries_bump
batteries_bump
December 1, 2023 20:42 41m 39s
Bump batteries to 3.5.1 & Remove hacks locked #9178: Pull request #1282 opened by michael-schwarz
December 1, 2023 20:37 29m 16s batteries_bump
batteries_bump
December 1, 2023 20:37 29m 16s
Remove some workarounds not needed with batteries >=3.5.1 locked #9177: Commit 8104b3e pushed by michael-schwarz
December 1, 2023 20:36 30m 15s batteries_bump
batteries_bump
December 1, 2023 20:36 30m 15s
RFC: Remove spec & file analyses locked #9176: Pull request #1281 synchronize by michael-schwarz
December 1, 2023 20:06 28m 35s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 28m 35s
Rm: Mainspec locked #9175: Commit 9e0ef1c pushed by michael-schwarz
December 1, 2023 20:06 26m 27s remove_file_and_spec
remove_file_and_spec
December 1, 2023 20:06 26m 27s
RFC: Remove spec & file analyses locked #9174: Pull request #1281 opened by michael-schwarz
December 1, 2023 19:49 14m 37s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:49 14m 37s
RFC: Remove spec & file analysis locked #9173: Commit 89698bc pushed by michael-schwarz
December 1, 2023 19:45 12m 8s remove_file_and_spec
remove_file_and_spec
December 1, 2023 19:45 12m 8s
Fix name of modifiedSinceSetjmp locked #9172: Pull request #1280 opened by michael-schwarz
December 1, 2023 19:25 31m 48s fix_setjmpname
fix_setjmpname
December 1, 2023 19:25 31m 48s
Fix name of modifiedSinceSetjmp locked #9171: Commit 11516b1 pushed by michael-schwarz
December 1, 2023 19:23 33m 20s fix_setjmpname
fix_setjmpname
December 1, 2023 19:23 33m 20s
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 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