Remove `deprecate_function` and `deprecate_arguments` decorators (deprecated in 0.24) #5410

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via pull request November 15, 2024 20:47

1ucian0

opened #13448

1ucian0:remove_deprecated_function_arguments/1

Status Success

Total duration 2m 11s

Artifacts –

miri.yml

on: pull_request