trixi-framework / trixi-framework/Trixi.jl
`DocPreviewCleanup` workflow sometimes does not clean up previews
- Dominant language
- Julia
- Stars
- 731
- Forks
- 166
- Avg merge
- 2d 18h
- Merged PRs (30d)
- 25
Description
Right now, we have two documentation previews that were not deleted although the corresponding PR is not open anymore:
- [ ] #703 was merged
- [ ] #715 was closed but not merged
See also:
https://github.com/trixi-framework/Trixi.jl/tree/d6e8fa39a754d24216232e14671c08d040fd7cf0/previews
Both points needs some investigating to find out what really is going on there.
Contributor guide
Research direction
Inspect the DocPreviewCleanup workflow and the previews directory at the linked commit, then trace what happens for PRs #703 and #715. Reproduce or investigate why previews remain after a merge or closure; done means both stale previews are removed reliably and the cleanup behavior is verified.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- github-actions, julia
- Domain
- ci-cd, documentation
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100