Skip to content

chore: Update dependant config and makefile for tools package #301

chore: Update dependant config and makefile for tools package

chore: Update dependant config and makefile for tools package #301

Triggered via pull request October 31, 2024 07:42
@a-thalera-thaler
milestoned #100
Status Success
Total duration 9s
Artifacts

pr-github-checks.yml

on: pull_request_target
pr-label-check
3s
pr-label-check
pr-title-check
2s
pr-title-check
Fit to window
Zoom out
Zoom in