change makefiles extension #5

Triggered via push September 8, 2024 16:44

master

Status Success

Total duration 33s

Artifacts 1

publish-docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.7 MB