chore: schedule daily CI run and add status badge tied to daily CI run #46
Mergify / Queue: Embarked in merge queue
succeeded
Nov 28, 2023 in 0s
The pull request embarked with main (888f61f) is mergeable
Required conditions for merge:
-
status-success~=Build & Test - Nixpkgs.* - all of [📃 From pull request rule automatic merge]:
#approved-reviews-by>=1-draft[:pushpin: queue requirement]-mergify-configuration-changed[:pushpin: queue -> allow_merging_configuration_change setting requirement]-
base=main label=merge-queue-
status-success~=Build & Test - Nixpkgs.* - any of [:twisted_rightwards_arrows: queue conditions]:
- all of [:pushpin: queue conditions of queue
default]
- all of [:pushpin: queue conditions of queue
Check-runs and statuses of the embarked pull request #46:
 |  | Build & Test - Nixpkgs (ubuntu-latest, ghc_8_10_7) | details |
 | | .github/dependabot.yml — Dependabot config file validation | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_0_2) | details |
| | Build & Test - Nixpkgs (ubuntu-latest, ghc_9_2_2) | details |
|  | dpulls — All dependencies are resolved. | details |
Loading