Merge pull request #82 from waywardmonkeys/suppress-identity-op-lint #89

Sign in to view logs

Triggered via push November 14, 2023 18:31

RalfJung

master

Status Success

Total duration 44m 6s

Artifacts –

ci.yml

on: push

Test Suite (nightly features)

Test Suite (Miri)

lints and formatting

Matrix: Test Suite

Matrix: Test Suite