Skip to content

Actions: FrankieeW/ANT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: generalize Zsqrtd instances for negative d (#6) Build Blueprint #11: Commit df5b14b pushed by FrankieeW
41s main
main
41s
refactor: generalize Zsqrtd instances for negative d Build Blueprint #10: Pull request #6 synchronize by FrankieeW
27s feat/generalize-zsqrtd-instances
feat/generalize-zsqrtd-instances
27s
refactor: generalize Zsqrtd instances for negative d Build Blueprint #9: Pull request #6 opened by FrankieeW
25s feat/generalize-zsqrtd-instances
feat/generalize-zsqrtd-instances
25s
Prove ramification and inertia results without sorry Build Blueprint #8: Commit 02d0456 pushed by FrankieeW
50s main
main
50s
feat: add ramification and inertia computations for primes in Z[sqrt(-5)] Build Blueprint #7: Pull request #4 synchronize by FrankieeW
37s ramification-inertia-computation
ramification-inertia-computation
37s
feat: add ramification and inertia computations for primes in Z[sqrt(-5)] Build Blueprint #6: Pull request #4 synchronize by FrankieeW
29s ramification-inertia-computation
ramification-inertia-computation
29s
feat: add ramification and inertia computations for primes in Z[sqrt(-5)] Build Blueprint #5: Pull request #4 synchronize by FrankieeW
36s ramification-inertia-computation
ramification-inertia-computation
36s
Merge pull request #5 from FrankieeW/feat/blueprint-deployment Build Blueprint #4: Commit 56224c8 pushed by FrankieeW
46s main
main
46s
feat: add Blueprint deployment for proof tracking Build Blueprint #3: Pull request #5 synchronize by FrankieeW
31s feat/blueprint-deployment
feat/blueprint-deployment
31s
feat: add Blueprint deployment for proof tracking Build Blueprint #2: Pull request #5 synchronize by FrankieeW
42s feat/blueprint-deployment
feat/blueprint-deployment
42s
feat: add Blueprint deployment for proof tracking Build Blueprint #1: Pull request #5 opened by FrankieeW
1m 1s feat/blueprint-deployment
feat/blueprint-deployment
1m 1s
Addressing comment on PR #3 Copilot coding agent #1: by Copilot AI
4m 37s copilot/sub-pr-2
copilot/sub-pr-2
4m 37s
fix: remove test theorem from Tactic.lean that caused CI errors Lean Action CI #13: Commit 793a350 pushed by FrankieeW
30m 15s feat/macro-factorization
feat/macro-factorization
30m 15s
feat: add CLAUDE.md to reference AGENT.md Lean Action CI #12: Commit 5f8ea44 pushed by FrankieeW
30m 53s feat/macro-factorization
feat/macro-factorization
30m 53s
feat: add theorem for factorization of three using factorization_Zsqr… Lean Action CI #11: Commit 408a911 pushed by FrankieeW
30m 37s feat/macro-factorization
feat/macro-factorization
30m 37s
Lean Action CI Lean Action CI #10: by FrankieeW
27m 2s feat/macro-factorization
feat/macro-factorization
27m 2s
feat: update .gitignore and enhance AGENTS.md with project overview a… Lean Action CI #9: Commit 81cf5dd pushed by FrankieeW
30m 25s feat/macro-factorization
feat/macro-factorization
30m 25s
feat: implement factorization_setup tactic and complete factorization… Lean Action CI #8: Commit 9457400 pushed by FrankieeW
1h 52m 11s feat/macro-factorization
feat/macro-factorization
1h 52m 11s
feat: implement factorization_setup tactic and complete factorization… Lean Action CI #7: Commit 9457400 pushed by FrankieeW
1h 52m 50s main
main
1h 52m 50s
feat: add lemmas for ideal equality and membership in span Lean Action CI #6: Commit 92b94a5 pushed by FrankieeW
1h 53m 9s main
main
1h 53m 9s
Prove factorization_of_two in ANT.Ideals Lean Action CI #5: Commit 11defe3 pushed by FrankieeW
1h 52m 5s main
main
1h 52m 5s
docs: add comprehensive .gitignore guide Lean Action CI #4: Commit 4c6712d pushed by FrankieeW
1h 54m 47s main
main
1h 54m 47s
chore: improve .gitignore for Lean 4 and remove VS Code history Lean Action CI #3: Commit 774c660 pushed by FrankieeW
1h 54m 53s main
main
1h 54m 53s
chore: add VS Code history file Lean Action CI #2: Commit bdcf2fc pushed by FrankieeW
1h 38m 58s main
main
1h 38m 58s
feat: add sorry placeholder for factorization_of_two proof Lean Action CI #1: Commit f0260b6 pushed by FrankieeW
1h 52m 10s main
main
1h 52m 10s