Skip to content

Actions: teorth/equational_theories

Actions

.github/workflows/lean4lean.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lean4lean python script .github/workflows/lean4lean.yml #7: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:40 13s lean4lean
lean4lean
October 9, 2024 02:40 13s
lean4lean python script .github/workflows/lean4lean.yml #6: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:37 18s lean4lean
lean4lean
October 9, 2024 02:37 18s
lean4lean python script .github/workflows/lean4lean.yml #5: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:35 15s lean4lean
lean4lean
October 9, 2024 02:35 15s
lean4lean python script .github/workflows/lean4lean.yml #4: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:33 16s lean4lean
lean4lean
October 9, 2024 02:33 16s
lean4lean python script .github/workflows/lean4lean.yml #3: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:32 17s lean4lean
lean4lean
October 9, 2024 02:32 17s
lean4lean python script .github/workflows/lean4lean.yml #2: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:27 18s lean4lean
lean4lean
October 9, 2024 02:27 18s
lean4lean python script .github/workflows/lean4lean.yml #1: Pull request #421 synchronize by Shreyas4991
October 9, 2024 02:22 18s lean4lean
lean4lean
October 9, 2024 02:22 18s