Skip to content

attempt to fix documentation workflow #49

attempt to fix documentation workflow

attempt to fix documentation workflow #49

Triggered via pull request April 3, 2024 18:44
Status Success
Total duration 58s
Artifacts

checks.yml

on: pull_request
Ensure correct spelling
6s
Ensure correct spelling
Ensure correct formatting
6s
Ensure correct formatting
Ensure typecheck and tests pass
51s
Ensure typecheck and tests pass
Fit to window
Zoom out
Zoom in

Annotations

1 error
Ensure correct spelling
Error: Command failed: git diff-tree --no-commit-id --name-only -r d71fc89189380f5846865f9b6a61ba0ae02a54ef 68c48ad1acdba00141e225c17f200e6a588e35b8 fatal: bad object 68c48ad1acdba00141e225c17f200e6a588e35b8