New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use spec from hydra-formal-specification #1548

Merged

ch1bo merged 1 commit into master from lc/upstream-spec

Aug 7, 2024

Merged

Use spec from hydra-formal-specification #1548

Use spec from hydra-formal-specification

GitHub Actions / Test Results succeeded Aug 7, 2024 in 0s

All 457 tests pass, 7 skipped in 16m 42s

464 tests ±0 457 ✅ ±0 16m 42s ⏱️ -44s
149 suites ±0 7 💤 ±0
5 files ±0 0 ❌ ±0

Results for commit 8245e1e. ± Comparison against earlier commit b7b2710.

View more details on GitHub Actions