This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Back to pull request #2770

Merge remote-tracking branch 'origin/master' into combinatorics #76330

Sign in to view logs

Triggered via push September 17, 2023 20:14

YaelDillies

combinatorics

Status Success

Total duration 1m 13s

Artifacts –

lint_self_test.yml

on: push

Matrix: Ensure the linter works