Skip to content

Actions: XintaoYu/Abstract-Algebra-in-Lean

Actions

.github/workflows/check-build.yaml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-build.yaml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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