Skip to content

makefile: Merge pull request #1183 from svinota/make-git-clean #374

makefile: Merge pull request #1183 from svinota/make-git-clean

makefile: Merge pull request #1183 from svinota/make-git-clean #374

Triggered via push March 4, 2024 11:48
Status Success
Total duration 21s
Artifacts

push.yml

on: push
Fit to window
Zoom out
Zoom in