Skip to content

Rename __zipos_free -> __zipos_drop #1824

Rename __zipos_free -> __zipos_drop

Rename __zipos_free -> __zipos_drop #1824

Triggered via pull request December 26, 2023 15:37
Status Success
Total duration 10m 57s
Artifacts

build.yml

on: pull_request
Matrix: matrix_on_mode
Fit to window
Zoom out
Zoom in