Skip to content
🏷️ Changelog Label

add MINIMAL pragma to ord #1493

Sign in to view logs

add MINIMAL pragma to ord

add MINIMAL pragma to ord #1493

This workflow is awaiting approval from a maintainer in #6657
Triggered via pull request November 14, 2024 04:03
@aleeusgraleeusgr
synchronize #6657
aleeusgr:6270-add-minimal-pragma-to-ord
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #6657

changelog-label.yml

on: pull_request
Check
Check
Fit to window
Zoom out
Zoom in