Skip to content

Actions: XintaoYu/Abstract-Algebra-in-Lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add exs .github/workflows/build.yaml #7: Commit 5a67db4 pushed by timechess
May 14, 2024 01:39 2m 55s master
master
May 14, 2024 01:39 2m 55s
fix imports .github/workflows/build.yaml #6: Commit b6b8736 pushed by timechess
May 12, 2024 08:14 2m 53s master
master
May 12, 2024 08:14 2m 53s
fix filename .github/workflows/build.yaml #5: Commit cbb67c1 pushed by timechess
May 12, 2024 03:44 2m 19s master
master
May 12, 2024 03:44 2m 19s
fix .github/workflows/build.yaml #4: Commit 1698fb6 pushed by timechess
May 11, 2024 13:26 2m 38s master
master
May 11, 2024 13:26 2m 38s
Merge branch 'master' of https://github.com/XintaoYu/Abstract-Algebra… .github/workflows/build.yaml #3: Commit c0cb16b pushed by timechess
May 11, 2024 13:21 2m 37s master
master
May 11, 2024 13:21 2m 37s
Fix action (#29) .github/workflows/build.yaml #2: Commit ab6e226 pushed by timechess
May 11, 2024 13:12 2m 27s master
master
May 11, 2024 13:12 2m 27s
Fix action .github/workflows/check-build.yaml #2: Pull request #29 synchronize by timechess
May 11, 2024 13:11 1m 9s timechess:master
timechess:master
May 11, 2024 13:11 1m 9s
Fix action .github/workflows/check-build.yaml #1: Pull request #29 opened by timechess
May 11, 2024 13:06 2m 26s timechess:master
timechess:master
May 11, 2024 13:06 2m 26s
Refactor (#28) .github/workflows/build.yaml #1: Commit f8cbb16 pushed by timechess
May 11, 2024 12:55 4m 41s master
master
May 11, 2024 12:55 4m 41s