Skip to content
This repository was archived by the owner on Aug 4, 2026. It is now read-only.

Actions: PnVDiscord/software-foundations-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 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
Mark as obsoleted Lean Action CI #23: Commit bc5e498 pushed by simnalamburt
23s main
main
23s
fix(lf): address review feedback for rel chapter Lean Action CI #22: Commit 045e541 pushed by simnalamburt
19s main
main
19s
Add Lean Port of Rel Chapter Lean Action CI #21: Pull request #4 synchronize by MSerable
17s MSerable:main
MSerable:main
17s
Add Lean Port of Rel Chapter Lean Action CI #20: Pull request #4 synchronize by simnalamburt
24s MSerable:main
MSerable:main
24s
Add Lean Port of Rel Chapter Lean Action CI #19: Pull request #4 synchronize by MSerable
21s MSerable:main
MSerable:main
21s
Induction.lean: make z' explicit and unambiguous in example. Lean Action CI #17: Commit 7eb1e36 pushed by simnalamburt
23s main
main
23s
Basics.lean: Fix English expressions. (#1) Lean Action CI #16: Commit 738dd55 pushed by simnalamburt
24s main
main
24s
Lean port of Induction and Lists chapter with minor fixes Lean Action CI #15: Pull request #1 synchronize by d01c2
26s d01c2:main
d01c2:main
26s