Skip to content

Actions: lfglabs-dev/morpho-midnight-verity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 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
Prove Midnight updatePositionViewProperties check #72: Pull request #3 opened by Th0rgal
5m 4s cursor/midnight-update-position-properties-4ae5
cursor/midnight-update-position-properties-4ae5
5m 4s
Prove updatePositionViewProperties for a successful Midnight call. check #71: Commit 556a948 pushed by cursor Bot
4m 30s cursor/midnight-update-position-properties-4ae5
cursor/midnight-update-position-properties-4ae5
4m 30s
Add an arithmetic model of updatePositionView. check #70: Commit 10c923c pushed by cursor Bot
4m 49s cursor/midnight-proof-generation-7870
cursor/midnight-proof-generation-7870
4m 49s
Prove updatePositionViewProperties from the imported execution. check #69: Commit 19b03a3 pushed by cursor Bot
9m 54s cursor/new-midnight-lean-proof-d760
cursor/new-midnight-lean-proof-d760
9m 54s
Add concise Cursor proof prompt referencing repository instructions check #68: Commit e9eccd9 pushed by cursor Bot
4m 44s cursor/new-midnight-lean-proof-d760
cursor/new-midnight-lean-proof-d760
4m 44s
Merge pull request #2 from lfglabs-dev/cursor/lean-cloud-environment check #67: Commit b54bbee pushed by Th0rgal
5m 3s master
master
5m 3s
Add concise Cursor proof prompt referencing repository instructions check #66: Commit e9eccd9 pushed by Th0rgal
4m 20s cursor/proof-sandbox
cursor/proof-sandbox
4m 20s
Configure native Cursor Cloud Lean environment and diagnostics check #65: Pull request #2 synchronize by Th0rgal
4m 49s cursor/lean-cloud-environment
cursor/lean-cloud-environment
4m 49s
Document supported snapshot activation and preserved recovery blocker check #64: Commit 2979b00 pushed by Th0rgal
5m 2s cursor/lean-cloud-environment
cursor/lean-cloud-environment
5m 2s
Preserve validated snapshot, startup receipts, and existing proof run check #63: Commit f96ced0 pushed by Th0rgal
6m 23s cursor/proof-sandbox
cursor/proof-sandbox
6m 23s
Record promotable native environment activation evidence check #62: Commit df17d42 pushed by cursor Bot
4m 37s cursor/native-cursor-build-52c5
cursor/native-cursor-build-52c5
4m 37s
Configure native Cursor Cloud Lean environment and diagnostics check #61: Pull request #2 synchronize by Th0rgal
4m 22s cursor/lean-cloud-environment
cursor/lean-cloud-environment
4m 22s
Record verified native MCP Build and fresh cold boot check #60: Commit b5535fb pushed by Th0rgal
5m 39s cursor/lean-cloud-environment
cursor/lean-cloud-environment
5m 39s
Record MCP-enabled native Build and fresh cold-boot validation check #59: Commit 6ea1c1d pushed by Th0rgal
4m 55s cursor/proof-sandbox
cursor/proof-sandbox
4m 55s
Document promotable doctor environment test check #58: Commit a6e376e pushed by cursor Bot
4m 21s cursor/native-cursor-build-52c5
cursor/native-cursor-build-52c5
4m 21s
Record final MCP-enabled native Build evidence check #57: Commit 47ae5df pushed by cursor Bot
4m 12s cursor/native-cursor-build-52c5
cursor/native-cursor-build-52c5
4m 12s
Configure native Cursor Cloud Lean environment and diagnostics check #56: Pull request #2 opened by Th0rgal
5m 27s cursor/lean-cloud-environment
cursor/lean-cloud-environment
5m 27s
Configure native Cursor Cloud Lean environment and diagnostics check #55: Commit a8be6af pushed by Th0rgal
4m 20s cursor/lean-cloud-environment
cursor/lean-cloud-environment
4m 20s
Document Lean MCP Cloud requirements check #54: Commit d078a02 pushed by cursor Bot
4m 9s cursor/native-cursor-build-52c5
cursor/native-cursor-build-52c5
4m 9s
Record successful native Cursor build evidence check #53: Commit 1881740 pushed by cursor Bot
4m 10s cursor/native-cursor-build-52c5
cursor/native-cursor-build-52c5
4m 10s
Record native Build root cause and verified local Lean MCP behavior check #52: Commit 8fac43b pushed by Th0rgal
4m 3s cursor/proof-sandbox
cursor/proof-sandbox
4m 3s
Verify environment readiness and exercise Lean MCP diagnostics and goals check #51: Commit ae85cc1 pushed by Th0rgal
4m 5s cursor/proof-sandbox
cursor/proof-sandbox
4m 5s
Preinstall pinned Lean diagnostics MCP and limit mathlib cache warmup check #50: Commit 2e84d22 pushed by Th0rgal
4m 26s cursor/proof-sandbox
cursor/proof-sandbox
4m 26s
Harden and document native Cursor environment build check #49: Commit 4d3e9c7 pushed by cursor Bot
5m 2s cursor/native-cursor-build-52c5
cursor/native-cursor-build-52c5
5m 2s
Record reproducible Cursor GPT-5.6 test launch and pending evidence check #48: Commit babe861 pushed by Th0rgal
4m 6s cursor/proof-sandbox
cursor/proof-sandbox
4m 6s