Specification

minor refactor to avoid unsoundness caused by flexible types #8510

Sign in to view logs

Triggered via push June 14, 2025 17:30

olhotak

main

Status Success

Total duration 1m 39s

Artifacts –

spec.yml

on: push