test: check that recusive functions do not apply attriubutes twices #4318
Triggered via pull request
September 26, 2024 11:29
leanprover-community-bot
leanprover-community-bot
labeled
#5480
Status
Skipped
Total duration
3s
Artifacts
–