Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
187 workflow run results
187 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add GobApron to goblint_lib.ml #1283 docs #213: Commit c2e0e16 pushed by michael-schwarz
December 7, 2023 19:10 5m 52s master
master
December 7, 2023 19:10 5m 52s
Merge pull request #1283 from goblint/apron_libification docs #212: Commit 6be8d60 pushed by michael-schwarz
December 7, 2023 16:53 21s master
master
December 7, 2023 16:53 21s
Merge pull request #1282 from goblint/batteries_bump docs #211: Commit 1110826 pushed by michael-schwarz
December 7, 2023 09:18 5m 30s master
master
December 7, 2023 09:18 5m 30s
Merge pull request #1281 from goblint/remove_file_and_spec docs #210: Commit 9023dc8 pushed by michael-schwarz
December 5, 2023 14:23 5m 22s master
master
December 5, 2023 14:23 5m 22s
Merge pull request #1285 from goblint/dependabot/github_actions/actio… docs #209: Commit 8563daa pushed by sim642
December 5, 2023 14:08 5m 56s master
master
December 5, 2023 14:08 5m 56s
Merge pull request #1284 from goblint/dependabot/github_actions/actio… docs #208: Commit ee1e248 pushed by sim642
December 5, 2023 14:08 44s master
master
December 5, 2023 14:08 44s
make_callee_rel: Introduce filter_map docs #207: Commit d983113 pushed by michael-schwarz
December 4, 2023 16:37 5m 47s master
master
December 4, 2023 16:37 5m 47s
Add citation to TODO docs #206: Commit 1473d6e pushed by michael-schwarz
December 4, 2023 16:31 5m 36s master
master
December 4, 2023 16:31 5m 36s
Localize two helpers in relationDomain.apron.ml docs #205: Commit d7d3503 pushed by michael-schwarz
December 4, 2023 16:17 5m 25s master
master
December 4, 2023 16:17 5m 25s
Merge pull request #1279 from goblint/printable_either3 docs #204: Commit e678d0e pushed by michael-schwarz
December 4, 2023 08:37 6m 29s master
master
December 4, 2023 08:37 6m 29s
Merge pull request #1280 from goblint/fix_setjmpname docs #203: Commit 456b287 pushed by michael-schwarz
December 4, 2023 08:28 5m 55s master
master
December 4, 2023 08:28 5m 55s
Merge pull request #1274 from goblint/base-invariant-abs-cleanup docs #202: Commit db49fe9 pushed by sim642
November 29, 2023 15:00 6m 3s master
master
November 29, 2023 15:00 6m 3s
Remove unit statement from MemLeak docs #201: Commit 7fa7bfd pushed by sim642
November 29, 2023 08:27 5m 39s master
master
November 29, 2023 08:27 5m 39s
Simplify match in MemLeak docs #200: Commit 30daf27 pushed by sim642
November 29, 2023 08:26 1m 52s master
master
November 29, 2023 08:26 1m 52s
Suppress no-cmx-file warning docs #199: Commit deb12f4 pushed by sim642
November 28, 2023 11:01 5m 42s master
master
November 28, 2023 11:01 5m 42s
Fix tracing call in base docs #198: Commit 6b1dce9 pushed by sim642
November 28, 2023 09:12 5m 29s master
master
November 28, 2023 09:12 5m 29s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety docs #197: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 5m 35s master
master
November 27, 2023 16:19 5m 35s
Fix indentation in MemLeak docs #196: Commit 778d883 pushed by sim642
November 27, 2023 10:36 6m 7s master
master
November 27, 2023 10:36 6m 7s
Merge pull request #1208 from goblint/string-unit-domain docs #195: Commit d5163c9 pushed by sim642
November 27, 2023 08:46 5m 53s master
master
November 27, 2023 08:46 5m 53s
Merge pull request #1264 from goblint/base-special-lval docs #194: Commit 0fdea44 pushed by sim642
November 27, 2023 08:32 5m 46s master
master
November 27, 2023 08:32 5m 46s
Add few people to .mailmap docs #193: Commit 975b502 pushed by sim642
November 27, 2023 08:27 4m 41s master
master
November 27, 2023 08:27 4m 41s
Add opam pin revert step to releasing guide docs #192: Commit 6d4f9e7 pushed by sim642
November 27, 2023 08:20 6m 29s master
master
November 27, 2023 08:20 6m 29s
Revert "Disable pins for v2.3.0 release" docs #191: Commit ed5f259 pushed by sim642
November 27, 2023 08:19 1m 20s master
master
November 27, 2023 08:19 1m 20s
Use opam 2.1 in releasing guide docs #190: Commit 8c08a78 pushed by sim642
November 24, 2023 21:23 5m 43s master
master
November 24, 2023 21:23 5m 43s
Disable pins for v2.3.0 release docs #189: Commit dbd6479 pushed by sim642
November 24, 2023 14:49 11m 57s master
master
November 24, 2023 14:49 11m 57s