CI

Add JR's (2022) (#2553) #4025

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 18, 2025 04:41

github-merge-queue[bot]

master

Status Success

Total duration 3m 45s

Artifacts –

ci.yml

on: push