Skip to content
Deploy

Fix issue with coqbot not pushing merge commits anymore. #156

Sign in to view logs

Fix issue with coqbot not pushing merge commits anymore.

Fix issue with coqbot not pushing merge commits anymore. #156

Triggered via push October 9, 2023 11:14
@Zimmi48Zimmi48
pushed b8e9db5
master
Status Success
Total duration 6m 58s
Artifacts –

deploy_heroku.yml

on: push
build
6m 48s
build
Fit to window
Zoom out
Zoom in