Skip to content

Actions: rocq-prover/bot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Allow passing configuration options to the bench command CI #55: Pull request #372 synchronize by Janno
1m 25s Janno:janno/bench-variables
Janno:janno/bench-variables
1m 25s
Allow passing configuration options to the bench command CI #54: Pull request #372 synchronize by Janno
1m 30s Janno:janno/bench-variables
Janno:janno/bench-variables
1m 30s
Allow passing configuration options to the bench command CI #53: Pull request #372 synchronize by Janno
1m 28s Janno:janno/bench-variables
Janno:janno/bench-variables
1m 28s
Allow passing configuration options to the bench command CI #52: Pull request #372 synchronize by Janno
1m 25s Janno:janno/bench-variables
Janno:janno/bench-variables
1m 25s
Allow passing configuration options to the bench command CI #51: Pull request #372 synchronize by Janno
1m 38s Janno:janno/bench-variables
Janno:janno/bench-variables
1m 38s
CI add every 3 months GraphQL schema update workflow CI #50: Pull request #383 synchronize by lykimq
1m 30s quyen@update-graphql-ci
quyen@update-graphql-ci
1m 30s
CI add every 3 months GraphQL schema update workflow CI #49: Pull request #383 opened by lykimq
1m 32s quyen@update-graphql-ci
quyen@update-graphql-ci
1m 32s
Make backport source branch configurable CI #48: Pull request #382 synchronize by lykimq
1m 31s quyen@backport_refs
quyen@backport_refs
1m 31s
Make backport source branch configurable CI #47: Pull request #382 opened by lykimq
1m 37s quyen@backport_refs
quyen@backport_refs
1m 37s
Drive push/mirror routing from repo_config CI #46: Pull request #381 synchronize by lykimq
1m 35s quyen@generic_pr3
quyen@generic_pr3
1m 35s
Drive push/mirror routing from repo_config CI #45: Pull request #381 opened by lykimq
1m 29s quyen@generic_pr3
quyen@generic_pr3
1m 29s
Use repo config for minimizer URLs CI #44: Pull request #380 synchronize by lykimq
1m 30s quyen@generic_pr7
quyen@generic_pr7
1m 30s
Use repo config for minimizer URLs CI #43: Pull request #380 opened by lykimq
1m 33s quyen@generic_pr7
quyen@generic_pr7
1m 33s
Use repo config for bench GitLab job URLs and summary regex CI #42: Pull request #379 synchronize by lykimq
1m 28s quyen@generic_pr4
quyen@generic_pr4
1m 28s
Use repo config for bench GitLab job URLs and summary regex CI #41: Pull request #379 opened by lykimq
1m 26s quyen@generic_pr4
quyen@generic_pr4
1m 26s
Drive PR sync team checks and welcome messages from repo_config CI #40: Pull request #378 opened by lykimq
1m 31s quyen@bot_generic_pr6
quyen@bot_generic_pr6
1m 31s
Drive CI job dispatch and doc status from repo_config CI #39: Pull request #377 synchronize by lykimq
1m 26s quyen@bot_general_pr5
quyen@bot_general_pr5
1m 26s
Drive CI job dispatch and doc status from repo_config CI #38: Pull request #377 synchronize by lykimq
1m 53s quyen@bot_general_pr5
quyen@bot_general_pr5
1m 53s
Backport and project card logic (#376) CI #37: Commit 8bf5476 pushed by lykimq
1m 21s master
master
1m 21s
Backport and project card logic (#376) Deploy #224: Commit 8bf5476 pushed by lykimq
5m 57s master
master
5m 57s
Backport and project card logic CI #36: Pull request #376 synchronize by lykimq
1m 36s quyen@bot_general_pr2
quyen@bot_general_pr2
1m 36s
Backport and project card logic CI #35: Pull request #376 synchronize by lykimq
1m 38s quyen@bot_general_pr2
quyen@bot_general_pr2
1m 38s
Drive CI job dispatch and doc status from repo_config CI #34: Pull request #377 opened by lykimq
1m 33s quyen@bot_general_pr5
quyen@bot_general_pr5
1m 33s
Backport and project card logic CI #33: Pull request #376 opened by lykimq
1m 44s quyen@bot_general_pr2
quyen@bot_general_pr2
1m 44s
config: add per-repo TOML schema and parser (#371) CI #32: Commit 0b870b4 pushed by lykimq
1m 29s master
master
1m 29s