Skip to content
GitHub Bot

ci: add a github bot to support advanced PR review workflows #26

Sign in to view logs

ci: add a github bot to support advanced PR review workflows

ci: add a github bot to support advanced PR review workflows #26

Triggered via pull request November 11, 2024 21:12
@aeddiaeddi
synchronize #3037
dev/aeddi/github-bot
Status Failure
Total duration 36s
Artifacts –

bot.yml

on: pull_request
Define PRs matrix
0s
Define PRs matrix
Matrix: Process PR
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Process PR (3037)
Unable to retrieve specified pull request (3037): GET https://api.github.com/repos/gnolang/gno/pulls/3037: 401 Bad credentials []
Process PR (3037)
Process completed with exit code 1.