Skip to content

Actions: LeanOxide/leo3

Actions

Windows Debug

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 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
fix: use GetProcAddress for BSS globals on Windows, fix manual constr… Windows Debug #12: Commit b3bf2ad pushed by AndPuQing
2m 17s feat/tactic-integration
feat/tactic-integration
2m 17s
debug: try calling lean_infer_type directly to isolate crash location Windows Debug #11: Commit 9e29a3f pushed by AndPuQing
2m 20s feat/tactic-integration
feat/tactic-integration
2m 20s
debug: dump core_state inside ST.Ref for Windows crash investigation Windows Debug #10: Commit 1018ed9 pushed by AndPuQing
2m 16s feat/tactic-integration
feat/tactic-integration
2m 16s
debug: add object header dumps to diagnose Windows MetaM crash Windows Debug #9: Commit c8d6928 pushed by AndPuQing
2m 9s feat/tactic-integration
feat/tactic-integration
2m 9s
fix: use exported Lean functions instead of manual construction on Wi… Windows Debug #8: Commit 1cab92d pushed by AndPuQing
2m 29s feat/tactic-integration
feat/tactic-integration
2m 29s
fix: manually construct empty HashSet on Windows (HashMap with size=0… Windows Debug #7: Commit 64b40c0 pushed by AndPuQing
2m 14s feat/tactic-integration
feat/tactic-integration
2m 14s
fix: extract default HashSet from instInhabited structure (field 0) Windows Debug #6: Commit dd2990d pushed by AndPuQing
2m 8s feat/tactic-integration
feat/tactic-integration
2m 8s
fix: use BSS global l_Std_HashSet_instInhabited on Windows instead of… Windows Debug #5: Commit 5f466b1 pushed by AndPuQing
2m 12s feat/tactic-integration
feat/tactic-integration
2m 12s
test: use Inhabited default for Meta.Config on Windows (all zeros) Windows Debug #4: Commit 7026024 pushed by AndPuQing
2m 13s feat/tactic-integration
feat/tactic-integration
2m 13s
debug: add eprintln diagnostics to MetaM run() for Windows crash inve… Windows Debug #3: Commit 0a6c4c9 pushed by AndPuQing
2m 14s feat/tactic-integration
feat/tactic-integration
2m 14s
fix: mark Windows cached singletons as persistent to prevent data race Windows Debug #2: Commit 61cb050 pushed by AndPuQing
2m 39s feat/tactic-integration
feat/tactic-integration
2m 39s
ci: add Windows-only debug workflow to isolate test_error_boundaries … Windows Debug #1: Commit d06e0a2 pushed by AndPuQing
3m 53s feat/tactic-integration
feat/tactic-integration
3m 53s