Skip to content

Commit b4cdd76

Browse files
Remove duplicating workflow
We have `check-links` now.
1 parent 74e36ad commit b4cdd76

1 file changed

Lines changed: 0 additions & 109 deletions

File tree

.github/workflows/proof-links.yml

Lines changed: 0 additions & 109 deletions
This file was deleted.

0 commit comments

Comments
 (0)