CI

Merge pull request #79 from waywardmonkeys/fix-missing-backticks #86

Sign in to view logs

Triggered via push November 14, 2023 06:30

RalfJung

master

Status Success

Total duration 6m 13s

Artifacts –

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

ci.yml

on: push

Test Suite (nightly features)

Test Suite (Miri)

lints and formatting

Matrix: Test Suite

Matrix: Test Suite