Renames `append_macros` to `add_macros` #990

Sign in to view logs

Triggered via pull request November 7, 2024 13:30

zslayton

opened #849

rename-append-macros

Status Skipped

Total duration 3s

Artifacts –

miri.yml

on: pull_request

Matrix: Test with Miri