chore: add metis as known legacy (#11) #41

Sign in to view logs

Triggered via push November 20, 2023 14:53

DaniPopes

main

Status Success

Total duration 1m 1s

Artifacts –

ci.yml

on: push

Matrix: miri

Matrix: test