CI

Merge pull request #81 from waywardmonkeys/needless-doctest-main-warn… #83

Sign in to view logs

Triggered via push November 13, 2023 19:42

RalfJung

master

Status Success

Total duration 6m 24s

Artifacts –

ci.yml

on: push

Test Suite (nightly features)

Test Suite (Miri)

lints and formatting

Matrix: Test Suite

Matrix: Test Suite