Add GitHub workflow to close stale PRs #563

Sign in to view logs

Triggered via push December 26, 2023 23:04

d-e-s-o

topic/stale

Status Success

Total duration 2m 49s

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