Skip to content
CI

Publish Haddocks to firebase rather than github pages to save on repo size #6803

Sign in to view logs

Publish Haddocks to firebase rather than github pages to save on repo size

Publish Haddocks to firebase rather than github pages to save on repo size #6803

Triggered via pull request November 9, 2023 00:28
@ChrisPennerChrisPenner
synchronize #4378
cp/firebase-haddocks
Status Success
Total duration 20m 40s
Artifacts –

ci.yaml

on: pull_request
ormolu
0s
ormolu
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
windows-2019
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
macOS-12
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ubuntu-20.04
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/