Allow future extensions to be used (#1231) #3090

Sign in to view logs

Triggered via push September 27, 2023 13:11

github-merge-queue[bot]

main

Status Success

Total duration 4m 53s

Artifacts –

continuous-integration.yml

on: push

check-all-dependencies

check-benchmarks

Matrix: lint

Matrix: test