Skip to content

build: remove redundant .gitignore file #516

build: remove redundant .gitignore file

build: remove redundant .gitignore file #516

Triggered via push September 29, 2023 17:51
Status Success
Total duration 3m 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: push
Matrix: build
Matrix: test_c
Matrix: test_js
Fit to window
Zoom out
Zoom in