Javier Bullrich d29c3636fa Updated review-bot to obtain number from event (#4271) ...

It seems that `review-trigger` is not uploading the artifact that is
used by `review-bot`, so I changed the PR-Number to be obtained by the
previous event that triggered this action.

I also took the liberty to replace `tibdex/github-app-token` for
`actions/create-github-app-token` which is GitHub's official app.

2024-04-24 14:54:07 +00:00

..

ISSUE_TEMPLATE

Move ISSUE_TEMPLATE (#1567)

2023-09-18 16:08:57 +02:00

runtime_specs

Add check runtimes GH Workflow (#2252)

2023-12-13 11:28:34 +02:00

scripts

Github workflow to automate release draft creation (#3978)

2024-04-08 13:36:43 +00:00

workflows

Updated review-bot to obtain number from event (#4271)

2024-04-24 14:54:07 +00:00

.markdownlint.yaml

Markdown linter (#1309)

2023-09-04 12:02:32 +03:00

CODEOWNERS

Fix spelling mistakes across the whole repository (#3808)

2024-03-26 13:57:57 +00:00

dependabot.yml

Revive Dependabot (#1264)

2023-08-29 21:30:18 +02:00

review-bot.yml

Review: Remove audit rules (#3010)

2024-01-22 10:12:58 +01:00