CI

doc: move cpu-core-count to node #809

Sign in to view logs

Triggered via push January 21, 2025 17:09

wenkokke

main

Status Skipped

Total duration 8s

Artifacts –

ci.yaml

on: push

formal-spec: Typecheck

simulation: Check with HLint

simulation: Check with fourmolu

topology-checker: Check and Test

docs: Generate D2 Diagrams

Matrix: simulation-test