Skip to content

Actions: MathNetwork/ProofAtlas

Actions

ProofAtlas CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
266 workflow runs
266 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
6/14 ProofAtlas CI #266: Commit 854d918 pushed by longdie
1m 17s feat/proofstruct
feat/proofstruct
1m 17s
6/8 ProofAtlas CI #265: Commit 24ca7d1 pushed by longdie
31s feat/proofstruct
feat/proofstruct
31s
6/6 ProofAtlas CI #264: Commit 0b735e2 pushed by longdie
1m 15s feat/proofstruct
feat/proofstruct
1m 15s
Add ProofStruct blueprint extractor ProofAtlas CI #263: Commit 56d66d5 pushed by longdie
1m 41s feat/proofstruct
feat/proofstruct
1m 41s
chore: simplify to feature → main, drop development layer (#80) ProofAtlas CI #262: Commit 7fc4418 pushed by zhifeizhu92
1m 8s metric-analysis
metric-analysis
1m 8s
docs(spec): sync specs to the LeanScreen reality ProofAtlas CI #261: Commit ba7c7f0 pushed by Xinze-Li-Moqian
2m 5s feat/hypergraph
feat/hypergraph
2m 5s
feat(infoview): make the graph's node size, arrows, and background props ProofAtlas CI #260: Commit 1604ba4 pushed by Xinze-Li-Moqian
1m 57s feat/hypergraph
feat/hypergraph
1m 57s
docs(hypergraph): use '1 + 2' as the demo example ProofAtlas CI #259: Commit 3f5f4e9 pushed by Xinze-Li-Moqian
1m 29s feat/hypergraph
feat/hypergraph
1m 29s
docs: trim StructuralHypergraph.Basic module docstring ProofAtlas CI #258: Commit 10f22fa pushed by Xinze-Li-Moqian
1m 25s feat/hypergraph
feat/hypergraph
1m 25s
perf(project): use Std.HashMap for the cidOf memo (O(n²) → O(n)) ProofAtlas CI #257: Commit 6f23df1 pushed by Xinze-Li-Moqian
1m 22s feat/hypergraph
feat/hypergraph
1m 22s
feat(proof): colour the inference edges of 𝒰 (Curry-Howard) ProofAtlas CI #256: Commit f060f92 pushed by Xinze-Li-Moqian
1m 20s feat/hypergraph
feat/hypergraph
1m 20s
feat(project): @publish and the project hypergraph 𝒫 (the atlas) ProofAtlas CI #255: Commit e1b4207 pushed by Xinze-Li-Moqian
1m 19s feat/hypergraph
feat/hypergraph
1m 19s
refactor: rename ExprHypergraph → StructuralHypergraph (align with 𝒮) ProofAtlas CI #254: Commit 227a196 pushed by Xinze-Li-Moqian
1m 22s feat/hypergraph
feat/hypergraph
1m 22s
chore: simplify to feature → main, drop development layer (#80) ProofAtlas CI #253: Commit 7fc4418 pushed by Xinze-Li-Moqian
1m 6s feat/hypergraph
feat/hypergraph
1m 6s
chore: simplify to feature → main, drop development layer (#80) ProofAtlas CI #252: Commit 7fc4418 pushed by Xinze-Li-Moqian
1m 4s main
main
1m 4s
chore: simplify to feature → main, drop development layer ProofAtlas CI #251: Pull request #80 opened by Xinze-Li-Moqian
1m 3s chore/simplify-branching
chore/simplify-branching
1m 3s
chore: simplify to feature → main, drop development layer ProofAtlas CI #250: Commit bd3d631 pushed by Xinze-Li-Moqian
1m 4s chore/simplify-branching
chore/simplify-branching
1m 4s
Merge pull request #79 from MathNetwork/development ProofAtlas CI #249: Commit 00915ad pushed by Xinze-Li-Moqian
1m 40s main
main
1m 40s
chore: sync main with development ProofAtlas CI #248: Pull request #79 opened by Xinze-Li-Moqian
1m 38s development
development
1m 38s
chore: convert all comments to docstrings, fix lakefile linter config… ProofAtlas CI #247: Commit 5e1c225 pushed by Xinze-Li-Moqian
1m 39s development
development
1m 39s
chore: convert all comments to docstrings ProofAtlas CI #246: Pull request #78 opened by Xinze-Li-Moqian
1m 40s chore/docstrings-v2
chore/docstrings-v2
1m 40s
chore: convert all comments to docstrings, fix lakefile linter config ProofAtlas CI #245: Commit 60f5459 pushed by Xinze-Li-Moqian
1m 39s chore/docstrings-v2
chore/docstrings-v2
1m 39s
Merge pull request #77 from MathNetwork/development ProofAtlas CI #244: Commit 9c03e60 pushed by Xinze-Li-Moqian
1m 9s main
main
1m 9s
chore: sync main with development ProofAtlas CI #243: Pull request #77 opened by Xinze-Li-Moqian
1m 13s development
development
1m 13s
Merge pull request #76 from MathNetwork/chore/sync-dev ProofAtlas CI #242: Commit 845a801 pushed by Xinze-Li-Moqian
1m 9s development
development
1m 9s