Skip to content

Rename environment variables controlling the Makefile #64

Rename environment variables controlling the Makefile

Rename environment variables controlling the Makefile #64

Triggered via pull request June 17, 2024 15:48
Status Success
Total duration 4m 47s
Artifacts

CI.yml

on: pull_request
Fit to window
Zoom out
Zoom in