Require “Allow Edits”

Editorial: simplify AsyncGeneratorDrainQueue #3970

Sign in to view logs

Triggered via pull request January 29, 2025 22:50

bakkot

synchronize #3411

simplify-drain-queue

Status Success

Total duration 10s

Artifacts –

require-allow-edits.yml

on: pull_request

Require “Allow Edits”