Make all STSs in the Agda spec executable #2890

Sign in to view logs

Triggered via pull request October 3, 2024 18:59

synchronize #1270

javierdiaz72/make-stss-computable

Status Success

Total duration 2m 37s

Artifacts –

checks.yml

on: pull_request

Cabal files check

Release badges are updated

Check build plans (dev vs release)

Annotations

1 warning

Major bumps detected

QuickCheck 2.14.3.0 -> 2.15.0.1