Skip to content

Actions: leanprover/comparator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: one merged Lean Action CI #31: Commit 107d325 pushed by hargoniX
21s master
master
21s
doc: it has been tested! Lean Action CI #30: Commit 870dc04 pushed by hargoniX
20s master
master
20s
doc: it has been tested! Lean Action CI #29: Commit 9be068e pushed by hargoniX
21s nanoda
nanoda
21s
Merge pull request #11 from leanprover/nanoda Lean Action CI #28: Commit 66793f8 pushed by hargoniX
26s master
master
26s
feat: support checking with nanoda Lean Action CI #27: Pull request #11 opened by hargoniX
24s nanoda
nanoda
24s
feat: support checking with nanoda Lean Action CI #26: Commit aae8f4f pushed by hargoniX
24s nanoda
nanoda
24s
doc: update README Lean Action CI #25: Commit 72057b3 pushed by hargoniX
26s master
master
26s
Merge pull request #10 from leanprover/hbv/tighter_sandbox Lean Action CI #24: Commit c020bae pushed by hargoniX
29s master
master
29s
fix: tighten the sandbox used by landrun a bit Lean Action CI #23: Pull request #10 opened by hargoniX
33s hbv/tighter_sandbox
hbv/tighter_sandbox
33s
fix: tighten the sandbox used by landrun a bit Lean Action CI #22: Commit e6e15ee pushed by hargoniX
24s hbv/tighter_sandbox
hbv/tighter_sandbox
24s
chore: update toolchain Lean Action CI #21: Commit 795ad74 pushed by kim-em
22s v4.27.0-rc1
v4.27.0-rc1
22s
fix: also check that axiom statements match Lean Action CI #20: Commit 1de1758 pushed by kim-em
49s v4.25.0-rc2
v4.25.0-rc2
49s
chore: update toolchain Lean Action CI #19: Commit 795ad74 pushed by hargoniX
47s master
master
47s
feat: arbitrary solutions for thm/ax challenges (take 2) Lean Action CI #18: Pull request #8 synchronize by JasonGross
Action required JasonGross:arbitrary-solutions-better
JasonGross:arbitrary-solutions-better
Action required
feat: arbitrary solutions for thm/ax challenges (take 2) Lean Action CI #17: Pull request #8 opened by JasonGross
Action required JasonGross:arbitrary-solutions-better
JasonGross:arbitrary-solutions-better
Action required
feat: arbitrary solutions for thm/ax challenges Lean Action CI #16: Pull request #7 synchronize by JasonGross
Action required JasonGross:arbitrary-solutions
JasonGross:arbitrary-solutions
Action required
feat: arbitrary solutions for thm/ax challenges Lean Action CI #15: Pull request #7 synchronize by JasonGross
Action required JasonGross:arbitrary-solutions
JasonGross:arbitrary-solutions
Action required
feat: arbitrary solutions for thm/ax challenges Lean Action CI #14: Pull request #7 synchronize by JasonGross
Action required JasonGross:arbitrary-solutions
JasonGross:arbitrary-solutions
Action required
feat: arbitrary solutions for thm/ax challenges Lean Action CI #13: Pull request #7 opened by JasonGross
Action required JasonGross:arbitrary-solutions
JasonGross:arbitrary-solutions
Action required
Support defs in axiom checking and improve error messages Lean Action CI #12: Pull request #6 synchronize by JasonGross
Action required JasonGross:allow-def
JasonGross:allow-def
Action required
Support defs in axiom checking and improve error messages Lean Action CI #11: Pull request #6 synchronize by JasonGross
Action required JasonGross:allow-def
JasonGross:allow-def
Action required
Support defs in axiom checking and improve error messages Lean Action CI #10: Pull request #6 opened by JasonGross
Action required JasonGross:allow-def
JasonGross:allow-def
Action required
Fix: Handle all ConstantInfo types and improve error message Lean Action CI #9: Pull request #5 synchronize by JasonGross
Action required JasonGross:copilot/fix-challenge-solution-constant-error
JasonGross:copilot/fix-challenge-solution-constant-error
Action required
Fix: Handle all ConstantInfo types and improve error message Lean Action CI #8: Pull request #5 opened by JasonGross
Action required JasonGross:copilot/fix-challenge-solution-constant-error
JasonGross:copilot/fix-challenge-solution-constant-error
Action required
fix: also check that axiom statements match Lean Action CI #7: Commit 1de1758 pushed by hargoniX
29s master
master
29s