Skip to content
Testable simd models

Merge branch 'main' into use-quantifiers #2

Sign in to view logs

Merge branch 'main' into use-quantifiers

Merge branch 'main' into use-quantifiers #2

Triggered via push October 8, 2025 15:48
@feliperodrifeliperodri
pushed 79fbe49
use-quantifiers
Status Success
Total duration 5m 15s
Artifacts –

testable-simd-models.yml

on: push
Test testable simd models
5m 6s
Test testable simd models
Fit to window
Zoom out
Zoom in