Bump actions/cache from 3 to 4 #81
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Jan 18, 2024 in 0s
The pull request embarked with main (223b51f) will be merged soon
Required conditions for merge:
#approved-reviews-by>=1[🛡 GitHub branch protection]#changes-requested-reviews-by=0[🛡 GitHub branch protection]- all of [📃 From pull request rule automatic merge]:
-draft[📌 queue requirement]-mergify-configuration-changed[📌 queue -> allow_merging_configuration_change setting requirement]-
base=main label=merge-queue- any of [🔀 queue conditions]:
- any of [🛡 GitHub branch protection]:
-
check-success=all_ci_tests -
check-neutral=all_ci_tests -
check-skipped=all_ci_tests
-
Check-runs and statuses of the embarked pull request #81:
 |  | Build & Test - Nixpkgs (ubuntu-latest, ghc_8_10_7, false) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_0_2, false) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_2_7, false) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_2_7, true) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_4_5, false) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_4_5, true) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_6_2, false) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_6_2, true) | details |
| | all_ci_tests | details |
|  | dpulls — All dependencies are resolved. | details |
Loading