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

Sign in to view logs

Triggered via push November 14, 2023 06:30

Status Success

Total duration 6m 13s

Artifacts –

ci.yml

on: push

Test Suite (nightly features)

Test Suite (Miri)

lints and formatting

Matrix: Test Suite

Matrix: Test Suite