Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove files no longer referenced #86

Closed
wants to merge 1 commit into from

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Feb 1, 2021

This removes previously extracted files that are no longer referenced in browser-specs

Copy link
Member

@tidoust tidoust left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

To be discarded. Same temporary "Internal server error" on some CSS specs as last time.

Note: We should update the time at which this action runs. The errors occurred last week, but this action runs on Monday before the weekly TR crawl, so it reports files in /tr with a one week delay.

@tidoust tidoust marked this pull request as ready for review February 1, 2021 08:35
@tidoust tidoust closed this Feb 1, 2021
@foolip foolip deleted the cleanup-1612143430 branch February 1, 2021 11:54
tidoust added a commit that referenced this pull request Feb 10, 2021
The "idlnames" and "idlnameparsed" folders have recently been added, see:
w3c/reffy#489 (comment)

They contain files per IDL Name, which need to be dropped when the IDL names no
longer appear in any of the crawled specs.

Also adjust jobs execution schedules to have the cleanup job run after the
weekly tr crawl, see:
#86 (review)
tidoust added a commit that referenced this pull request Feb 10, 2021
The "idlnames" and "idlnameparsed" folders have recently been added, see:
w3c/reffy#489 (comment)

They contain files per IDL Name, which need to be dropped when the IDL names no
longer appear in any of the crawled specs.

Also adjust jobs execution schedules to have the cleanup job run after the
weekly tr crawl, see:
#86 (review)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants