Skip to content

Actions: OpenCoven/coven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Running Copilot Code Review Copilot #186: by Copilot AI
2m 34s feat/ward-migrate-invariant-fidelity
feat/ward-migrate-invariant-fidelity
2m 34s
feat(ward-migrate): compile-or-reject v0.1 identity invariants; bump coven-threads-core pin Dependabot auto-merge #313: Pull request #464 opened by BunsDev
10s
10s
feat(ward-migrate): compile-or-reject v0.1 identity invariants; bump coven-threads-core pin CI #1177: Pull request #464 opened by BunsDev
8m 59s feat/ward-migrate-invariant-fidelity
feat/ward-migrate-invariant-fidelity
8m 59s
Code Quality: PR #464 CodeQL #2027: by BunsDev
57s refs/pull/464/head
refs/pull/464/head
57s
PR #464 CodeQL #2026: by BunsDev
2m 0s refs/pull/464/head
refs/pull/464/head
2m 0s
docs: remove stale es/ru translations (#462) CI #1176: Commit aa2f22a pushed by BunsDev
8m 41s main
main
8m 41s
Push on main CodeQL #2025: by BunsDev
3m 37s main
main
3m 37s
Code Quality: Push on main CodeQL #2024: by BunsDev
1m 3s main
main
1m 3s
Running Copilot Code Review Copilot #185: by Copilot AI
4m 3s docs/461-remove-translations
docs/461-remove-translations
4m 3s
docs: remove stale es/ru translations Dependabot auto-merge #312: Pull request #462 opened by BunsDev
7s
7s
docs: remove stale es/ru translations CI #1175: Pull request #462 opened by BunsDev
11m 39s docs/461-remove-translations
docs/461-remove-translations
11m 39s
PR #462 CodeQL #2023: by BunsDev
7m 51s refs/pull/462/head
refs/pull/462/head
7m 51s
Code Quality: PR #462 CodeQL #2022: by BunsDev
7m 25s refs/pull/462/head
refs/pull/462/head
7m 25s
docs: list copilot in remaining harness enumerations and document --a… CI #1174: Commit da1f453 pushed by BunsDev
8m 47s main
main
8m 47s
Push on main CodeQL #2021: by BunsDev
2m 22s main
main
2m 22s
Code Quality: Push on main CodeQL #2020: by BunsDev
55s main
main
55s
Running Copilot Code Review Copilot #184: by Copilot AI
2m 59s docs/458-harness-enum-sweep
docs/458-harness-enum-sweep
2m 59s
docs: list copilot in remaining harness enumerations and document --add-dir CI #1173: Pull request #459 synchronize by BunsDev
9m 40s docs/458-harness-enum-sweep
docs/458-harness-enum-sweep
9m 40s
docs: list copilot in remaining harness enumerations and document --add-dir Dependabot auto-merge #311: Pull request #459 synchronize by BunsDev
10s
10s
Code Quality: PR #459 CodeQL #2019: by BunsDev
1m 31s refs/pull/459/head
refs/pull/459/head
1m 31s
PR #459 CodeQL #2018: by BunsDev
3m 23s refs/pull/459/head
refs/pull/459/head
3m 23s
fix: make veto-deadline recovery test deterministic (#460) CI #1172: Commit 14801a7 pushed by BunsDev
9m 23s main
main
9m 23s
Push on main CodeQL #2017: by BunsDev
2m 24s main
main
2m 24s
Code Quality: Push on main CodeQL #2016: by BunsDev
57s main
main
57s
Running Copilot Code Review Copilot #183: by Copilot AI
4m 0s fix/455-veto-deadline-flake
fix/455-veto-deadline-flake
4m 0s