PR #189 ci: more details in bot message

ci: more details in bot message #189

joanise merged 2 commits into main from dev.ej/ci-message-details

build: make the pre-commit config work for Eric on Windows

e232e5b8

ci: show head commit sha1 with help run time message

d77d3c70

joanise force pushed from 80d15677 to d77d3c70 358 days ago

joanise changed the title ~~[DRAFT] ci: more details in bot message~~ ci: more details in bot message 358 days ago

joanise requested a review from

roedoejet 358 days ago

roedoejet approved these changes on 2023-12-05

joanise merged e00cf324 into main 358 days ago

joanise deleted the dev.ej/ci-message-details branch 358 days ago

Reviewers

roedoejet

Assignees

No one assigned

Labels

None yet

Milestone

No milestone