All pull requests

Pull requests

• Run PRs submitted by CI users automatically

  enhancementneeds-cineeds-preceding-prneeds-reviewpriority-mediumsize-xs
  #260·bensze01 opened Aug 13, 2026Contributor·1 task·

  ·
  8

• Throttle large parallel fan-out with throttle categoy

  needs-cineeds-reviewpriority-very-high
  #257·saheerb opened Jun 20, 2026Contributor·

  ·
  7

• Filter components tested in framework PRs

  #256·bensze01 opened Apr 21, 2026Contributor·

  ·

• Publish docker images built on the new CI to Dockerhub

  enhancementneeds-workpriority-high
  #240·bensze01 opened Dec 11, 2025Contributor·

  ·
  3

• Fix username in Ubuntu 24.04-based images

  bugneeds-workpriority-highsize-xs
  #239·bensze01 opened Dec 11, 2025Contributor·

  ·
  6

• Separate reporting of storage format and ABI stability tests

  enhancementneeds-reviewneeds-reviewerpriority-highsize-s
  #224·bensze01 opened Oct 20, 2025Contributor·

  ·

• Show free disk space on failure

  needs-cineeds-worksize-xs
  #217·gilles-peskine-arm opened Jul 18, 2025Contributor·

  ·

• Add coverity push script for 3.6

  DO-NOT-MERGE
  #215·davidhorstmann-arm opened Jul 17, 2025Contributor·

  ·

• Fix cloning refs/pull/* style refs in parametrized jobs

  bugneeds-cineeds-workregressionsize-xs
  #211·bensze01 opened Jun 30, 2025Contributor·

  ·
  2

• Add script gathering and reporting health indicators

  enhancementneeds-reviewneeds-reviewerpriority-medium
  #185·mpg opened Nov 20, 2024Contributor·

  ·
  7

  

• Introduce Release Sign Tool.

  #173·minosgalanakis opened Aug 7, 2024Contributor·

  ·

• Add coverity push script

  enhancementpriority-highsize-s
  #165·paul-elliott-arm opened Apr 25, 2024Member·

  ·
  40

  

• Fix Python and Pylint warnings in windows_testing.py

  enhancementneeds-reviewneeds-reviewerpriority-mediumsize-xs
  #116·gilles-peskine-arm opened Jul 20, 2023Contributor·

  ·
  4

• Introduce caching for git objects on the executor nodes

  enhancement
  #107·bensze01 opened Jun 12, 2023Contributor·

  ·

• Pr metrics improvements

  #102·daverodgman opened Apr 6, 2023Contributor·

  ·
  7

• Download abi-dumper v1.2 from source in ubuntu 20.04 image.

  bugneeds-reviewpriority-medium
  #50·Zaya-dyno opened Jun 27, 2022·

  ·
  

• Add informative pipeline step labels

  enhancementneeds-cineeds-workpriority-lowsize-s
  #43·gilles-peskine-arm opened Apr 21, 2022Contributor·

  ·

• Sanity check for release-track branches

  enhancementneeds-reviewneeds-reviewerpriority-lowsize-s
  #22·gilles-peskine-arm opened Nov 29, 2021Contributor·

  ·

• Add scripts for PR metrics from github API

  enhancementneeds-workpriority-lowsize-s
  #13·mpg opened Oct 18, 2021Contributor·

  ·
  37