diff options
| -rw-r--r-- | mod/mod-ci-github.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 438fcbd..77ff35d 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -2316,7 +2316,7 @@ namespace brep build_state::queued, false /* state_synced */, nullopt /* status */, - nullopt /* details_url */}); + details_url (b)}); } } @@ -2520,7 +2520,7 @@ namespace brep iat->token, sd.repository_node_id, *cr->node_id, - details_url (b), + nullopt /* details_url */, build_state::building)) { // Do nothing further if the state was already built on GitHub (note |