Skip to content

Actions: jeremydubreil/infer

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pulse] a little more logging
build #470: Commit db0064a pushed by jeremydubreil
December 17, 2024 16:14 2h 31m 59s main
December 17, 2024 16:14 2h 31m 59s
[autofix] Add autofix for unnecessary copy on field init exp
build #469: Commit 0577b64 pushed by jeremydubreil
September 27, 2024 09:46 2h 26m 35s main
September 27, 2024 09:46 2h 26m 35s
[istd] IInt module with set, map and hash
build #468: Commit 22e4ae2 pushed by jeremydubreil
September 16, 2024 06:57 54m 17s main
September 16, 2024 06:57 54m 17s
[cxx_ref] Add trace information about where the captured variable was…
build #467: Commit 2030d03 pushed by jeremydubreil
September 9, 2024 13:14 3h 4m 43s main
September 9, 2024 13:14 3h 4m 43s
August 14, 2024 13:00 2h 23m 46s
[datalog] removing project
build #465: Commit e02b2ac pushed by jeremydubreil
July 3, 2024 12:47 2h 12m 16s main
July 3, 2024 12:47 2h 12m 16s
May 23, 2024 17:17 2h 8m 37s
[debug] fix toplevel init script
build #463: Commit 360861c pushed by jeremydubreil
May 13, 2024 16:50 2h 5m 34s main
May 13, 2024 16:50 2h 5m 34s
[annot] Remove wrong comment
build #462: Commit 9c1485a pushed by jeremydubreil
April 4, 2024 12:10 1h 53m 25s main
April 4, 2024 12:10 1h 53m 25s
[pulse][specialization] removing an useless warning message
build #461: Commit 4419a10 pushed by jeremydubreil
April 3, 2024 14:52 2h 32m 16s main
April 3, 2024 14:52 2h 32m 16s
[stats] utility to diff two stats directories
build #460: Commit edd6a13 pushed by jeremydubreil
April 3, 2024 07:45 3h 18m 12s main
April 3, 2024 07:45 3h 18m 12s
Merge branch 'facebook:main' into fix-oss-workflow
build #459: Commit 40fccdc pushed by jeremydubreil
March 29, 2024 13:48 49m 37s fix-oss-workflow
March 29, 2024 13:48 49m 37s
[annot] Simplify spec parsing
build #458: Commit e1850ff pushed by jeremydubreil
March 29, 2024 11:12 1h 45m 36s main
March 29, 2024 11:12 1h 45m 36s
[hack] fix capture error on splated arguments
build #457: Commit 8f535ef pushed by jeremydubreil
March 27, 2024 09:45 1h 59m 47s main
March 27, 2024 09:45 1h 59m 47s
Merge branch 'facebook:main' into fix-oss-workflow
build #456: Commit bbe5f7d pushed by jeremydubreil
March 27, 2024 09:44 50m 37s fix-oss-workflow
March 27, 2024 09:44 50m 37s
Fix the ocamlformat install step
build #455: Commit 7894f4e pushed by jeremydubreil
March 26, 2024 15:51 2h 6m 34s fix-oss-workflow
March 26, 2024 15:51 2h 6m 34s
[dead store] Add dummy loads to avoid false positives
build #454: Commit d97c4e5 pushed by jeremydubreil
March 26, 2024 13:05 1h 45m 34s fix-oss-workflow
March 26, 2024 13:05 1h 45m 34s
[dead store] Add dummy loads to avoid false positives
build #453: Commit d97c4e5 pushed by jeremydubreil
March 26, 2024 13:04 1h 53m 29s main
March 26, 2024 13:04 1h 53m 29s
[refactor] Lineage: Merge update_write and add_edge
build #452: Commit a0e3631 pushed by jeremydubreil
March 25, 2024 16:03 2h 3m 28s main
March 25, 2024 16:03 2h 3m 28s
[hack] Fix tests
build #451: Commit 64120e5 pushed by jeremydubreil
February 13, 2024 20:53 2h 35m 2s main
February 13, 2024 20:53 2h 35m 2s
[clang] Do not report memory leaks when the cleanup attribute is used
build #450: Commit 28942ff pushed by jeremydubreil
November 23, 2023 10:08 3h 7m 13s main
November 23, 2023 10:08 3h 7m 13s
[pulse] get rid of constants cache
build #449: Commit d824208 pushed by jeremydubreil
November 6, 2023 16:08 4h 5m 39s main
November 6, 2023 16:08 4h 5m 39s
[ppx] convert Typ to ppx normalization
build #448: Commit a0207a9 pushed by jeremydubreil
October 3, 2023 23:25 3h 42m 0s main
October 3, 2023 23:25 3h 42m 0s