Skip to content

Actions: anoma/juvix-lean

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Program equivalence for Core.Main Lean Action CI #27: Pull request #2 synchronize by lukaszcz
January 15, 2025 10:58 1m 45s program-equivalence
program-equivalence
January 15, 2025 10:58 1m 45s
rename Context to Env Lean Action CI #26: Commit 35846d2 pushed by lukaszcz
January 15, 2025 10:58 2m 5s program-equivalence
program-equivalence
January 15, 2025 10:58 2m 5s
Program equivalence for Core.Main Lean Action CI #25: Pull request #2 synchronize by lukaszcz
January 15, 2025 10:07 1m 29s program-equivalence
program-equivalence
January 15, 2025 10:07 1m 29s
minor refactor Lean Action CI #24: Commit a58da50 pushed by lukaszcz
January 15, 2025 10:07 1m 28s program-equivalence
program-equivalence
January 15, 2025 10:07 1m 28s
Big-step operational semantics for Core.Main (#1) Lean Action CI #23: Commit 2a00051 pushed by lukaszcz
January 15, 2025 10:03 2m 26s main
main
January 15, 2025 10:03 2m 26s
Big-step operational semantics Lean Action CI #22: Commit 6a6cb47 pushed by lukaszcz
January 15, 2025 10:02 2m 9s main
main
January 15, 2025 10:02 2m 9s
Program equivalence for Core.Main Lean Action CI #21: Pull request #2 synchronize by lukaszcz
January 15, 2025 09:55 2m 13s program-equivalence
program-equivalence
January 15, 2025 09:55 2m 13s
minor refactor Lean Action CI #20: Commit fb63d0c pushed by lukaszcz
January 15, 2025 09:55 1m 45s program-equivalence
program-equivalence
January 15, 2025 09:55 1m 45s
Program equivalence for Core.Main Lean Action CI #19: Pull request #2 synchronize by lukaszcz
January 14, 2025 17:55 2m 10s program-equivalence
program-equivalence
January 14, 2025 17:55 2m 10s
Value.Approx correction Lean Action CI #18: Commit 120774b pushed by lukaszcz
January 14, 2025 17:55 1m 43s program-equivalence
program-equivalence
January 14, 2025 17:55 1m 43s
Program equivalence for Core.Main Lean Action CI #17: Pull request #2 synchronize by lukaszcz
January 14, 2025 16:07 2m 10s program-equivalence
program-equivalence
January 14, 2025 16:07 2m 10s
refactor (wip, wrong) Lean Action CI #16: Commit d2dd235 pushed by lukaszcz
January 14, 2025 16:07 1m 42s program-equivalence
program-equivalence
January 14, 2025 16:07 1m 42s
Program equivalence for Core.Main Lean Action CI #15: Pull request #2 synchronize by lukaszcz
January 14, 2025 13:49 1m 42s program-equivalence
program-equivalence
January 14, 2025 13:49 1m 42s
approx transitivity Lean Action CI #14: Commit 64d238f pushed by lukaszcz
January 14, 2025 13:49 2m 15s program-equivalence
program-equivalence
January 14, 2025 13:49 2m 15s
Program equivalence for Core.Main Lean Action CI #13: Pull request #2 opened by lukaszcz
January 13, 2025 18:09 2m 34s program-equivalence
program-equivalence
January 13, 2025 18:09 2m 34s
Approx & its monotonicity Lean Action CI #12: Commit 5249b54 pushed by lukaszcz
January 13, 2025 18:07 2m 12s program-equivalence
program-equivalence
January 13, 2025 18:07 2m 12s
Merge pull request #1 from anoma/core-main-semantics Lean Action CI #11: Commit c7c5897 pushed by lukaszcz
December 17, 2024 16:41 2m 7s main
main
December 17, 2024 16:41 2m 7s
Big-step operational semantics for Core.Main Lean Action CI #10: Pull request #1 synchronize by lukaszcz
December 17, 2024 16:35 2m 7s core-main-semantics
core-main-semantics
December 17, 2024 16:35 2m 7s
minor Lean Action CI #9: Commit 5f7b5db pushed by lukaszcz
December 17, 2024 16:35 2m 11s core-main-semantics
core-main-semantics
December 17, 2024 16:35 2m 11s
Big-step operational semantics for Core.Main Lean Action CI #8: Pull request #1 synchronize by lukaszcz
December 17, 2024 15:17 1m 43s core-main-semantics
core-main-semantics
December 17, 2024 15:17 1m 43s
Eval notation Lean Action CI #7: Commit 218a3df pushed by lukaszcz
December 17, 2024 15:17 1m 36s core-main-semantics
core-main-semantics
December 17, 2024 15:17 1m 36s
Big-step operational semantics for Core.Main Lean Action CI #6: Pull request #1 synchronize by lukaszcz
December 16, 2024 19:32 1m 33s core-main-semantics
core-main-semantics
December 16, 2024 19:32 1m 33s
evaluator function & Terminating predicate Lean Action CI #5: Commit 324f85c pushed by lukaszcz
December 16, 2024 19:32 1m 38s core-main-semantics
core-main-semantics
December 16, 2024 19:32 1m 38s
Big-step operational semantics for Core.Main Lean Action CI #4: Pull request #1 opened by lukaszcz
December 16, 2024 18:14 1m 31s core-main-semantics
core-main-semantics
December 16, 2024 18:14 1m 31s
Big-step operational semantics Lean Action CI #3: Commit f55b0d5 pushed by lukaszcz
December 16, 2024 18:13 1m 37s core-main-semantics
core-main-semantics
December 16, 2024 18:13 1m 37s