Skip to content

Actions: fraware/lean-yo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 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
fix: normalize ci_build.sh to LF line endings .github/workflows/ci.yml #16: Commit 330f3df pushed by fraware
Failure main
main
Failure
fix: normalize ci_build.sh to LF line endings .github/workflows/release.yml #10: Commit 330f3df pushed by fraware
Failure main
main
Failure
fix: normalize ci_build.sh to LF line endings .github/workflows/mathlib-bump.yml #10: Commit 330f3df pushed by fraware
Failure main
main
Failure
fix: Windows CI build scripts .github/workflows/ci.yml #15: Commit f2d7f1c pushed by fraware
Failure main
main
Failure
fix: Windows CI build scripts .github/workflows/mathlib-bump.yml #9: Commit f2d7f1c pushed by fraware
Failure main
main
Failure
fix: Windows CI build scripts .github/workflows/release.yml #9: Commit f2d7f1c pushed by fraware
Failure main
main
Failure
examples: refine row 24 yoneda whiskering via hcomp identities .github/workflows/mathlib-bump.yml #8: Commit 6009856 pushed by fraware
Failure main
main
Failure
examples: refine row 24 yoneda whiskering via hcomp identities .github/workflows/ci.yml #14: Commit 6009856 pushed by fraware
Failure main
main
Failure
examples: refine row 24 yoneda whiskering via hcomp identities .github/workflows/release.yml #8: Commit 6009856 pushed by fraware
Failure main
main
Failure
Add Mathlib naturality upstream PR queue .github/workflows/release.yml #7: Commit 709c3b3 pushed by fraware
Failure main
main
Failure
Add Mathlib naturality upstream PR queue .github/workflows/mathlib-bump.yml #7: Commit 709c3b3 pushed by fraware
Failure main
main
Failure
Add Mathlib naturality upstream PR queue .github/workflows/ci.yml #13: Commit 709c3b3 pushed by fraware
Failure main
main
Failure
Modernize LeanYo to Lean 4.31 and add naturality extraction ledger (#1) .github/workflows/release.yml #6: Commit a4f87d9 pushed by fraware
Failure main
main
Failure
Modernize LeanYo to Lean 4.31 and add naturality extraction ledger (#1) .github/workflows/ci.yml #12: Commit a4f87d9 pushed by fraware
Failure main
main
Failure
Modernize LeanYo to Lean 4.31 and add naturality extraction ledger (#1) .github/workflows/mathlib-bump.yml #6: Commit a4f87d9 pushed by fraware
Failure main
main
Failure
Modernize LeanYo to Lean 4.31 and add naturality extraction ledger Proof Diff Bot #1: Pull request #1 opened by fraware
13s modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
13s
docs: complete extraction ledger coverage index and build certification .github/workflows/release.yml #5: Commit eee8a1d pushed by fraware
Failure modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
Failure
docs: complete extraction ledger coverage index and build certification .github/workflows/mathlib-bump.yml #5: Commit eee8a1d pushed by fraware
Failure modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
Failure
docs: complete extraction ledger coverage index and build certification .github/workflows/ci.yml #11: Commit eee8a1d pushed by fraware
Failure modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
Failure
Modernize to Lean 4.31 with Mathlib extraction sprint .github/workflows/release.yml #4: Commit 5848cc4 pushed by fraware
Failure modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
Failure
Modernize to Lean 4.31 with Mathlib extraction sprint .github/workflows/mathlib-bump.yml #4: Commit 5848cc4 pushed by fraware
Failure modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
Failure
Modernize to Lean 4.31 with Mathlib extraction sprint .github/workflows/ci.yml #10: Commit 5848cc4 pushed by fraware
Failure modernize/lean-4-31-extraction
modernize/lean-4-31-extraction
Failure
docs: add modernization and extraction sprint plan .github/workflows/release.yml #3: Commit f465714 pushed by fraware
Failure main
main
Failure
docs: add modernization and extraction sprint plan .github/workflows/mathlib-bump.yml #3: Commit f465714 pushed by fraware
Failure main
main
Failure
docs: add modernization and extraction sprint plan .github/workflows/ci.yml #9: Commit f465714 pushed by fraware
Failure main
main
Failure