Check required labels

Remove legacy z_zint_t from public API #388

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via pull request October 15, 2024 14:13

sashacmc

opened #741

Status Success

Total duration 23s

Artifacts –

check-labels.yml

on: pull_request_target

Check PR labels / main