Skip to content

Actions: humanfia/hoa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Scheduled CodeQL #12: by github-advanced-security AI
1m 30s main
main
1m 30s
Push on main CodeQL #11: by ZhengyangZhang06
1m 20s main
main
1m 20s
Keep the Lean workflow Lean #7: Commit 1c918ec pushed by ZhengyangZhang06
19m 1s main
main
19m 1s
Push on main CodeQL #10: by ZhengyangZhang06
1m 5s main
main
1m 5s
github_actions in /. - Update #1611268811 Dependabot Updates #2: by dependabot Bot
58s main
main
58s
CodeQL CodeQL #9: by github-advanced-security AI
1m 39s main
main
1m 39s
docs: use the site's HOA name and a build command that works for imo2… Check #6: Commit 40aeb0f pushed by futrime
23s main
main
23s
docs: use the site's HOA name and a build command that works for imo2… Lean #6: Commit 40aeb0f pushed by futrime
1m 31s main
main
1m 31s
Push on main CodeQL #8: by futrime
1m 20s main
main
1m 20s
docs: use the site's HOA name and a working imo2026 build command Lean #5: Pull request #2 opened by futrime
12s fix-hoa-name-imo-build
fix-hoa-name-imo-build
12s
docs: use the site's HOA name and a working imo2026 build command Check #5: Pull request #2 opened by futrime
15s fix-hoa-name-imo-build
fix-hoa-name-imo-build
15s
PR #2 CodeQL #7: by futrime
59s refs/pull/2/head
refs/pull/2/head
59s
CodeQL CodeQL #6: by github-advanced-security AI
4m 16s main
main
4m 16s
github_actions in /. - Update #1609897513 Dependabot Updates #1: by dependabot Bot
54s main
main
54s
Push on main CodeQL #5: by futrime
1m 9s main
main
1m 9s
Merge pull request #1 from humanfia/monorepo Lean #4: Commit 7175d12 pushed by futrime
14m 29s main
main
14m 29s
Merge pull request #1 from humanfia/monorepo Check #4: Commit 7175d12 pushed by futrime
32s main
main
32s
Merge the HOA olympiad repositories into hoa-qed Lean #3: Pull request #1 synchronize by futrime
11m 52s monorepo
monorepo
11m 52s
Merge the HOA olympiad repositories into hoa-qed Check #3: Pull request #1 synchronize by futrime
12s monorepo
monorepo
12s
PR #1 CodeQL #4: by futrime
42s refs/pull/1/head
refs/pull/1/head
42s
Merge the HOA olympiad repositories into hoa-qed Lean #2: Pull request #1 synchronize by futrime
25m 49s monorepo
monorepo
25m 49s
Merge the HOA olympiad repositories into hoa-qed Check #2: Pull request #1 synchronize by futrime
14s monorepo
monorepo
14s
PR #1 CodeQL #3: by futrime
1m 2s refs/pull/1/head
refs/pull/1/head
1m 2s
Merge the HOA olympiad repositories into hoa-qed Lean #1: Pull request #1 opened by futrime
3m 19s monorepo
monorepo
3m 19s
Merge the HOA olympiad repositories into hoa-qed Check #1: Pull request #1 opened by futrime
14s monorepo
monorepo
14s