Skip to content

Actions: HoTT/Coq-HoTT

Actions

Copilot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

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
Running Copilot Code Review Copilot #7: by Copilot AI
2m 38s master
master
2m 38s
Running Copilot Code Review Copilot #6: by Copilot AI
8m 48s master
master
8m 48s
Running Copilot Code Review Copilot #5: by Copilot AI
1m 14s master
master
1m 14s
Running Copilot Code Review Copilot #4: by Copilot AI
2m 37s master
master
2m 37s
Running Copilot Code Review Copilot #3: by Copilot AI
4m 43s master
master
4m 43s
Running Copilot Code Review Copilot #2: by Copilot AI
4m 51s master
master
4m 51s
Running Copilot Code Review Copilot #1: by Copilot AI
9m 39s master
master
9m 39s