Make halt
ed robots immediately wake up
#2254
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Jan 3, 2025 in 0s
The pull request embarked with main (c3a83b1) will be merged soon
Required conditions for merge:
#approved-reviews-by >= 1
[🛡 GitHub branch protection]#changes-requested-reviews-by = 0
[🛡 GitHub branch protection]
Check-runs and statuses of the embarked pull request #2254:
Enforce issue references | details | ||
Ensure YAML files are normalized | details | ||
HLint | details | ||
Haskell-CI - Linux - ghc-9.10.1 | details | ||
Haskell-CI - Linux - ghc-9.4.8 | details | ||
Haskell-CI - Linux - ghc-9.6.6 | details | ||
Haskell-CI - Linux - ghc-9.8.2 | details | ||
Haskell-CI - windows-latest - ghc-9.8.2 | details | ||
Normalize cabal | details | ||
Validate scenarios against schema | details | ||
restyled | details |
Loading