Skip to content

Actions: frenzymath/Algebraic-Geometry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 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
feat(AGLib): extract smooth geometric reducedness API Lean CI #21: Pull request #11 synchronize by AxelDlv00
2m 24s palimpsest/contributor/issue-8
palimpsest/contributor/issue-8
2m 24s
feat(AGLib): extract smooth geometric reducedness API Lean CI #20: Pull request #11 synchronize by AxelDlv00
1m 56s palimpsest/contributor/issue-8
palimpsest/contributor/issue-8
1m 56s
feat(AGLib): extract nilpotent invertible-module freeness (#9) (#10) Lean CI #19: Commit 3b031ca pushed by AxelDlv00
2m 30s palimpsest/aglib
palimpsest/aglib
2m 30s
feat(AGLib): extract smooth geometric reducedness API Lean CI #18: Pull request #11 opened by AxelDlv00
1m 54s palimpsest/contributor/issue-8
palimpsest/contributor/issue-8
1m 54s
feat(AGLib): extract nilpotent invertible-module freeness Lean CI #17: Pull request #10 opened by AxelDlv00
2m 0s palimpsest/contributor/issue-9
palimpsest/contributor/issue-9
2m 0s
chore(AGLib): enforce explicit variables (#1) (#7) Lean CI #16: Commit 3defc91 pushed by AxelDlv00
1m 53s palimpsest/aglib
palimpsest/aglib
1m 53s
Make blueprint statements addressable by hgraph Deploy website #44: Commit 9223d85 pushed by AxelDlv00
1m 43s main
main
1m 43s
Make blueprint statements addressable by hgraph CI #44: Commit 9223d85 pushed by AxelDlv00
1m 45s main
main
1m 45s
AGLib: disable automatic implicit parameters Lean CI #15: Pull request #7 opened by AxelDlv00
2m 1s palimpsest/contributor/issue-1
palimpsest/contributor/issue-1
2m 1s
Refactor paper blueprints for hgraph CI #43: Commit fa7ab11 pushed by AxelDlv00
1m 23s main
main
1m 23s
Refactor paper blueprints for hgraph Deploy website #43: Commit fa7ab11 pushed by AxelDlv00
1m 25s main
main
1m 25s
chore(AGLib): declare package metadata (#1) (#6) Lean CI #14: Commit bbdd183 pushed by AxelDlv00
1m 54s palimpsest/aglib
palimpsest/aglib
1m 54s
chore(AGLib): declare package metadata (#1) Lean CI #13: Pull request #6 opened by AxelDlv00
1m 54s palimpsest/contributor/issue-1
palimpsest/contributor/issue-1
1m 54s
ci(AGLib): pin workflow actions to Node 24 (#1) (#5) Lean CI #12: Commit d2f81c6 pushed by AxelDlv00
2m 7s palimpsest/aglib
palimpsest/aglib
2m 7s
ci(AGLib): refresh workflow actions for Node 24 Lean CI #11: Pull request #5 synchronize by AxelDlv00
2m 45s palimpsest/contributor/issue-1
palimpsest/contributor/issue-1
2m 45s
ci(AGLib): refresh workflow actions for Node 24 Lean CI #10: Pull request #5 opened by AxelDlv00
1m 33s palimpsest/contributor/issue-1
palimpsest/contributor/issue-1
1m 33s
docs(AGLib): document protected CI contract (#1) (#4) Lean CI #9: Commit 24993eb pushed by AxelDlv00
1m 57s palimpsest/aglib
palimpsest/aglib
1m 57s
docs(AGLib): document protected CI contract Lean CI #8: Pull request #4 opened by AxelDlv00
1m 57s palimpsest/contributor/issue-1
palimpsest/contributor/issue-1
1m 57s
chore(AGLib): ignore restored Lake packages (#1) (#3) Lean CI #7: Commit 1a9309a pushed by AxelDlv00
1m 59s palimpsest/aglib
palimpsest/aglib
1m 59s
chore(AGLib): ignore restored Lake packages Lean CI #6: Pull request #3 opened by AxelDlv00
2m 7s palimpsest/contributor/issue-1
palimpsest/contributor/issue-1
2m 7s
feat(AGLib): bootstrap governance and Lake package (#2) Lean CI #5: Commit 585c690 pushed by AxelDlv00
1m 58s palimpsest/aglib
palimpsest/aglib
1m 58s
Fix labels for pinned hgraph parser CI #42: Commit 570f55d pushed by AxelDlv00
1m 47s main
main
1m 47s
Fix labels for pinned hgraph parser Deploy website #42: Commit 570f55d pushed by AxelDlv00
2m 18s main
main
2m 18s
Add source-derived formalized paper blueprints CI #41: Commit e8f3bcc pushed by AxelDlv00
1m 12s main
main
1m 12s
Add source-derived formalized paper blueprints Deploy website #41: Commit e8f3bcc pushed by AxelDlv00
1m 10s main
main
1m 10s