Skip to content

Actions: berkeleynerd/safe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
836 workflow runs
836 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Copilot code review Copilot code review #182: by Copilot AI
5m 0s refs/pull/202/head
refs/pull/202/head
5m 0s
[codex] Fix imported generic follow-ups and roadmap rename CI #547: Pull request #202 opened by agentc1
13m 17s agentc1:codex/pr1111c-generic-followup
agentc1:codex/pr1111c-generic-followup
13m 17s
Merge pull request #201 from agentc1/codex/pr1111c-user-defined-generics CI #546: Commit dc96e36 pushed by berkeleynerd
12m 55s main
main
12m 55s
Copilot code review Copilot code review #181: by Copilot AI
13m 28s refs/pull/201/head
refs/pull/201/head
13m 28s
[codex] Implement PR11.11c user-defined generics CI #545: Pull request #201 synchronize by agentc1
13m 20s agentc1:codex/pr1111c-user-defined-generics
agentc1:codex/pr1111c-user-defined-generics
13m 20s
[codex] Implement PR11.11c user-defined generics CI #544: Pull request #201 synchronize by agentc1
12m 52s agentc1:codex/pr1111c-user-defined-generics
agentc1:codex/pr1111c-user-defined-generics
12m 52s
Copilot code review Copilot code review #180: by Copilot AI
5m 0s refs/pull/201/head
refs/pull/201/head
5m 0s
[codex] Implement PR11.11c user-defined generics CI #543: Pull request #201 synchronize by agentc1
12m 28s agentc1:codex/pr1111c-user-defined-generics
agentc1:codex/pr1111c-user-defined-generics
12m 28s
[codex] Implement PR11.11c user-defined generics CI #542: Pull request #201 synchronize by agentc1
13m 16s agentc1:codex/pr1111c-user-defined-generics
agentc1:codex/pr1111c-user-defined-generics
13m 16s
Copilot code review Copilot code review #179: by Copilot AI
5m 44s refs/pull/201/head
refs/pull/201/head
5m 44s
[codex] Implement PR11.11c user-defined generics CI #541: Pull request #201 opened by agentc1
13m 4s agentc1:codex/pr1111c-user-defined-generics
agentc1:codex/pr1111c-user-defined-generics
13m 4s
Merge pull request #200 from agentc1/codex/pr1111b-structural-interfaces CI #540: Commit b602be5 pushed by berkeleynerd
12m 22s main
main
12m 22s
[codex] Implement PR11.11b structural interfaces CI #539: Pull request #200 synchronize by agentc1
12m 57s agentc1:codex/pr1111b-structural-interfaces
agentc1:codex/pr1111b-structural-interfaces
12m 57s
Copilot code review Copilot code review #178: by Copilot AI
6m 19s refs/pull/200/head
refs/pull/200/head
6m 19s
[codex] Implement PR11.11b structural interfaces CI #538: Pull request #200 opened by agentc1
12m 31s agentc1:codex/pr1111b-structural-interfaces
agentc1:codex/pr1111b-structural-interfaces
12m 31s
Merge pull request #199 from agentc1/codex/pr1111a-method-syntax CI #537: Commit da9826d pushed by berkeleynerd
12m 9s main
main
12m 9s
[codex] Implement PR11.11a method syntax CI #536: Pull request #199 synchronize by agentc1
13m 4s agentc1:codex/pr1111a-method-syntax
agentc1:codex/pr1111a-method-syntax
13m 4s
Copilot code review Copilot code review #177: by Copilot AI
5m 24s refs/pull/199/head
refs/pull/199/head
5m 24s
[codex] Implement PR11.11a method syntax CI #535: Pull request #199 opened by agentc1
12m 28s agentc1:codex/pr1111a-method-syntax
agentc1:codex/pr1111a-method-syntax
12m 28s
Merge pull request #198 from agentc1/codex/pr1110d-container-proof-cl… CI #534: Commit 3bb5aa4 pushed by berkeleynerd
12m 8s main
main
12m 8s
[codex] Implement PR11.10d container proof closure CI #533: Pull request #198 synchronize by agentc1
12m 21s agentc1:codex/pr1110d-container-proof-closure
agentc1:codex/pr1110d-container-proof-closure
12m 21s
Copilot code review Copilot code review #176: by Copilot AI
2m 10s refs/pull/198/head
refs/pull/198/head
2m 10s
[codex] Implement PR11.10d container proof closure CI #532: Pull request #198 opened by agentc1
12m 10s agentc1:codex/pr1110d-container-proof-closure
agentc1:codex/pr1110d-container-proof-closure
12m 10s
Merge pull request #197 from agentc1/codex/pr1110c-built-in-map-clean CI #531: Commit 387f487 pushed by berkeleynerd
12m 10s main
main
12m 10s
[codex] Implement PR11.10c built-in map CI #530: Pull request #197 synchronize by agentc1
12m 20s agentc1:codex/pr1110c-built-in-map-clean
agentc1:codex/pr1110c-built-in-map-clean
12m 20s