All workflows

Workflow runs

• [ci] Enable Python analyzer in devsetup workflow

  completed successfully:
  devsetup#677:Pull request#2306openedbyjeremydubreil
  jeremydubreil:devsetup-with-python

  Nov 11, 202652m 58s
  More actions for workflow run 677

• [ci] Enable Python analyzer in devsetup workflow

  completed successfully:
  build#5930:Pull request#2306openedbyjeremydubreil
  jeremydubreil:devsetup-with-python

  Nov 11, 202628m 4s
  More actions for workflow run 5930

• [infer][tests] preserve child exit status in testlock

  requires action with the application:
  build#5929:Pull request#2305openedbyZainnQureshii
  ZainnQureshii:fix/testlock-exit-status

  Nov 11, 2026Action required
  More actions for workflow run 5929

• [infer][tests] preserve child exit status in testlock

  requires action with the application:
  devsetup#676:Pull request#2305openedbyZainnQureshii
  ZainnQureshii:fix/testlock-exit-status

  Nov 11, 2026Action required
  More actions for workflow run 676

• Close stale issues

  skipped:
  Close stale issues#145:Scheduled
  main

  Nov 11, 20268s
  More actions for workflow run 145

• [java] Model BufferedReader.readLine as nullable for Pulse

  completed successfully:
  devsetup#675:Pull request#2304openedbytanvir-ux
  tanvir-ux:cursor/bufferedreader-readline-null-25bf

  Nov 11, 202645m 13s
  More actions for workflow run 675

• [java] Model BufferedReader.readLine as nullable for Pulse

  completed successfully:
  build#5928:Pull request#2304openedbytanvir-ux
  tanvir-ux:cursor/bufferedreader-readline-null-25bf

  Nov 11, 202638m 40s
  More actions for workflow run 5928

• Scheduled

  completed successfully:
  CodeQL#478:bygithub-advanced-security[bot]AI
  main

  Nov 10, 20265m 40s

• [java] Model ServerSocket.accept for Pulse resource leaks

  completed successfully:
  build#5927:Pull request#2303synchronizebytanvir-ux
  tanvir-ux:cursor/serversocket-accept-resource-71c2

  Nov 10, 202650m 29s
  More actions for workflow run 5927

• [java] Model ServerSocket.accept for Pulse resource leaks

  completed successfully:
  devsetup#674:Pull request#2303synchronizebytanvir-ux
  tanvir-ux:cursor/serversocket-accept-resource-71c2

  Nov 10, 202643m 43s
  More actions for workflow run 674

• [java] Model Socket getInputStream/getOutputStream for Pulse resource…

  completed successfully:
  build#5926:Commit052ec04pushedbydulmarod
  main

  Nov 10, 202649m 12s
  More actions for workflow run 5926

• Push on main

  completed successfully:
  CodeQL#477:bydulmarod
  main

  Nov 10, 20267m 7s

• [java] Model ServerSocket.accept for Pulse resource leaks

  completed successfully:
  build#5925:Pull request#2303openedbytanvir-ux
  tanvir-ux:cursor/serversocket-accept-resource-71c2

  Nov 10, 202648m 40s
  More actions for workflow run 5925

• [java] Model ServerSocket.accept for Pulse resource leaks

  completed successfully:
  devsetup#673:Pull request#2303openedbytanvir-ux
  tanvir-ux:cursor/serversocket-accept-resource-71c2

  Nov 10, 202646m 32s
  More actions for workflow run 673

• [java] Model Socket getInputStream/getOutputStream for Pulse resource leaks

  completed successfully:
  build#5924:Pull request#2302openedbytanvir-ux
  tanvir-ux:cursor/socket-stream-resource-leaks-1898

  Nov 10, 202651m 6s
  More actions for workflow run 5924

• [java] Model Socket getInputStream/getOutputStream for Pulse resource leaks

  completed successfully:
  devsetup#672:Pull request#2302openedbytanvir-ux
  tanvir-ux:cursor/socket-stream-resource-leaks-1898

  Nov 10, 202639m 23s
  More actions for workflow run 672

• [java] upgrade guava 23.0 -> 24.1.1-jre (CVE-2018-10237) (#2301)

  completed successfully:
  build#5923:Commitc28e507pushedbymartintrojer
  main

  Nov 10, 202645m 34s
  More actions for workflow run 5923

• Push on main

  completed successfully:
  CodeQL#476:bymartintrojer
  main

  Nov 10, 20267m 12s

• [java] upgrade guava 23.0 -> 24.1.1-jre (CVE-2018-10237)

  completed successfully:
  devsetup#671:Pull request#2301openedbymartintrojer
  martintrojer:guava-cve-2018-10237

  Nov 10, 202653m 25s
  More actions for workflow run 671

• [java] upgrade guava 23.0 -> 24.1.1-jre (CVE-2018-10237)

  completed successfully:
  build#5922:Pull request#2301openedbymartintrojer
  martintrojer:guava-cve-2018-10237

  Nov 10, 202652m 56s
  More actions for workflow run 5922

• Close stale issues

  skipped:
  Close stale issues#144:Scheduled
  main

  Nov 10, 20261s
  More actions for workflow run 144

• Close stale issues

  skipped:
  Close stale issues#143:Scheduled
  main

  Nov 9, 20269s
  More actions for workflow run 143

• Close stale issues

  skipped:
  Close stale issues#142:Scheduled
  main

  Nov 8, 202611s
  More actions for workflow run 142

• Close stale issues

  skipped:
  Close stale issues#141:Scheduled
  main

  Nov 7, 20261s
  More actions for workflow run 141

• Close stale issues

  skipped:
  Close stale issues#140:Scheduled
  main

  Nov 6, 20261s
  More actions for workflow run 140