Skip to content
Build documentation

Fix margin cache generation leaving empty shard dirs #275

Sign in to view logs

Fix margin cache generation leaving empty shard dirs

Fix margin cache generation leaving empty shard dirs #275

Triggered via pull request January 31, 2024 00:00
@smcguire-cmusmcguire-cmu
synchronize #205
sean/fix-margin-cache-temp-dirs
Status Success
Total duration 2m 15s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build-documentation.yml

on: pull_request
build
2m 7s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.