Add GitHub workflow to close stale PRs #564

Sign in to view logs

Triggered via push December 26, 2023 23:06

d-e-s-o

topic/stale

Status Success

Total duration 1m 47s

Artifacts –

test.yml

on: push

Test and coverage

Test with release build

Check generated C header

Lint with clippy

Check code formatting

Generate documentation

Matrix: build-cross

Matrix: build

Matrix: test-sanitizers