Skip to content

Actions: PnVDiscord/software-foundations-lean

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge Vol1 and Vol2 into a single module Lean Action CI #8: Commit d3abbc9 pushed by simnalamburt
July 13, 2025 07:44 16s main
main
July 13, 2025 07:44 16s
README.md: Misc update Lean Action CI #7: Commit ae06896 pushed by simnalamburt
July 13, 2025 07:36 19s main
main
July 13, 2025 07:36 19s
Basics.lean: (misc) Use d0 d1 d2 d3 instead of b0 b1 b2 b3 Lean Action CI #6: Commit 797bfec pushed by simnalamburt
July 12, 2025 19:40 17s main
main
July 12, 2025 19:40 17s
Basics.lean: Simplify constructors Lean Action CI #5: Commit a94abe8 pushed by simnalamburt
July 12, 2025 19:12 18s main
main
July 12, 2025 19:12 18s
Basics.lean: Proof by Case Analysis Lean Action CI #4: Commit 7d8994a pushed by simnalamburt
July 12, 2025 14:10 16s main
main
July 12, 2025 14:10 16s
License under AGPL-3.0-or-later Lean Action CI #3: Commit 2a7653d pushed by simnalamburt
July 12, 2025 05:15 26s main
main
July 12, 2025 05:15 26s
Rename: SoftwareFoundationsVol1/Basic.lean -> SoftwareFoundationsVol1… Lean Action CI #2: Commit 50bd586 pushed by simnalamburt
July 12, 2025 05:08 17s main
main
July 12, 2025 05:08 17s
lake-manifest.json: Check-in Lean Action CI #1: Commit e0772f2 pushed by simnalamburt
July 11, 2025 18:17 25s main
main
July 11, 2025 18:17 25s