ci

ci #1887

Sign in to view logs

Triggered via schedule September 18, 2023 01:22

BurntSushi

master

Status Success

Total duration 15m 3s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: schedule

testfull-regex-automata

testfull-regex-syntax

testfull-regex-capi

miri-regex-automata

Matrix: test