doc: render math with HTML to make it selectable (fix #8453) #9361
Mergify / Queue: Embarked in merge queue
succeeded
Nov 1, 2023 in 0s
The pull request embarked with master (1264967) is mergeable
Required conditions for merge:
#approved-reviews-by>=2[🛡 GitHub branch protection]#changes-requested-reviews-by=0[🛡 GitHub branch protection]- all of [📃 From pull request rule Put pull requests in the squash+merge queue]:
#approved-reviews-by>=2-draft[:pushpin: queue requirement]-mergify-configuration-changed[:pushpin: queue -> allow_merging_configuration_change setting requirement]-
base=master label=merge delay passedlabel=squash+merge me- any of [:twisted_rightwards_arrows: queue conditions]:
- all of [:pushpin: queue conditions of queue
default]:#approved-reviews-by>=2[🛡 GitHub branch protection]#changes-requested-reviews-by=0[🛡 GitHub branch protection]- any of [🛡 GitHub branch protection]:
-
check-success=Doctest Cabal -
check-neutral=Doctest Cabal -
check-skipped=Doctest Cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success=Meta checks -
check-neutral=Meta checks -
check-skipped=Meta checks
-
- any of [🛡 GitHub branch protection]:
-
check-success=docs/readthedocs.org:cabal -
check-neutral=docs/readthedocs.org:cabal -
check-skipped=docs/readthedocs.org:cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success=Validate post job -
check-neutral=Validate post job -
check-skipped=Validate post job
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-8.10.7 -
check-neutral=Bootstrap ubuntu-latest ghc-8.10.7 -
check-skipped=Bootstrap ubuntu-latest ghc-8.10.7
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-9.0.2 -
check-neutral=Bootstrap ubuntu-latest ghc-9.0.2 -
check-skipped=Bootstrap ubuntu-latest ghc-9.0.2
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-9.4.4 -
check-neutral=Bootstrap ubuntu-latest ghc-9.4.4 -
check-skipped=Bootstrap ubuntu-latest ghc-9.4.4
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap macos-latest ghc-9.2.7 -
check-neutral=Bootstrap macos-latest ghc-9.2.7 -
check-skipped=Bootstrap macos-latest ghc-9.2.7
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-9.2.7 -
check-neutral=Bootstrap ubuntu-latest ghc-9.2.7 -
check-skipped=Bootstrap ubuntu-latest ghc-9.2.7
-
- all of [:pushpin: queue conditions of queue
- any of [🛡 GitHub branch protection]:
-
check-success=Doctest Cabal -
check-neutral=Doctest Cabal -
check-skipped=Doctest Cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success=Meta checks -
check-neutral=Meta checks -
check-skipped=Meta checks
-
- any of [🛡 GitHub branch protection]:
-
check-success=docs/readthedocs.org:cabal -
check-neutral=docs/readthedocs.org:cabal -
check-skipped=docs/readthedocs.org:cabal
-
- any of [🛡 GitHub branch protection]:
-
check-success=Validate post job -
check-neutral=Validate post job -
check-skipped=Validate post job
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-8.10.7 -
check-neutral=Bootstrap ubuntu-latest ghc-8.10.7 -
check-skipped=Bootstrap ubuntu-latest ghc-8.10.7
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-9.0.2 -
check-neutral=Bootstrap ubuntu-latest ghc-9.0.2 -
check-skipped=Bootstrap ubuntu-latest ghc-9.0.2
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-9.4.4 -
check-neutral=Bootstrap ubuntu-latest ghc-9.4.4 -
check-skipped=Bootstrap ubuntu-latest ghc-9.4.4
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap macos-latest ghc-9.2.7 -
check-neutral=Bootstrap macos-latest ghc-9.2.7 -
check-skipped=Bootstrap macos-latest ghc-9.2.7
-
- any of [🛡 GitHub branch protection]:
-
check-success=Bootstrap ubuntu-latest ghc-9.2.7 -
check-neutral=Bootstrap ubuntu-latest ghc-9.2.7 -
check-skipped=Bootstrap ubuntu-latest ghc-9.2.7
-
Check-runs and statuses of the embarked pull request #9361:
 |  | Create a GitHub prerelease with the binary artifacts | details |
 | | Bootstrap macos-latest ghc-9.2.7 | details |
| | Bootstrap ubuntu-latest ghc-8.10.7 | details |
| | Bootstrap ubuntu-latest ghc-9.0.2 | details |
| | Bootstrap ubuntu-latest ghc-9.2.7 | details |
| | Bootstrap ubuntu-latest ghc-9.4.4 | details |
| | Doctest Cabal | details |
| | Dogfooding macos-latest ghc-9.2.7 | details |
| | Dogfooding ubuntu-latest ghc-9.2.7 | details |
| | Dogfooding windows-latest ghc-9.2.7 | details |
| | Meta checks | details |
| | Users guide (3.10) | details |
| | Validate macos-latest ghc-8.10.7 | details |
| | Validate macos-latest ghc-8.4.4 | details |
| | Validate macos-latest ghc-8.6.5 | details |
| | Validate macos-latest ghc-8.8.4 | details |
| | Validate macos-latest ghc-9.0.2 | details |
| | Validate macos-latest ghc-9.2.7 | details |
| | Validate macos-latest ghc-9.4.4 | details |
| | Validate macos-latest ghc-9.6.1 | details |
| | Validate old ghcs 7.0.4 | details |
| | Validate old ghcs 7.10.3 | details |
| | Validate old ghcs 7.2.2 | details |
| | Validate old ghcs 7.4.2 | details |
| | Validate old ghcs 7.6.3 | details |
| | Validate old ghcs 7.8.4 | details |
| | Validate post job | details |
| | Validate ubuntu-latest ghc-8.10.7 | details |
| | Validate ubuntu-latest ghc-8.4.4 | details |
| | Validate ubuntu-latest ghc-8.6.5 | details |
| | Validate ubuntu-latest ghc-8.8.4 | details |
| | Validate ubuntu-latest ghc-9.0.2 | details |
| | Validate ubuntu-latest ghc-9.2.7 | details |
| | Validate ubuntu-latest ghc-9.4.4 | details |
| | Validate ubuntu-latest ghc-9.6.1 | details |
| | Validate windows-latest ghc-9.0.2 | details |
| | Validate windows-latest ghc-9.2.7 | details |
| | Validate windows-latest ghc-9.4.4 | details |
| | Validate windows-latest ghc-9.6.1 | details |
|  | docs/readthedocs.org:cabalRead the Docs build succeeded! | details |
| | fourmolu | details |
| | hlint | details |
| | hlint | details |
Loading