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

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via pull request November 18, 2024 15:37

1ucian0

synchronize #13448

1ucian0:remove_deprecated_function_arguments/1

Status Success

Total duration 2m 5s

Artifacts –

miri.yml

on: pull_request