Skip to content

Actions: YaelDillies/LeanCamCombi

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Numbering to define NumberingOn; not working yet .github/workflows/push_pr.yml #72: Commit be18f02 pushed by ctchou
February 15, 2025 03:00 1m 49s personal/ctchou/prob-lym-OLD-1
personal/ctchou/prob-lym-OLD-1
February 15, 2025 03:00 1m 49s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #71: Pull request #42 synchronize by ctchou
February 15, 2025 00:05 1m 36s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 15, 2025 00:05 1m 36s
Use Numbering to define NumberingOn; not working yet .github/workflows/push_pr.yml #70: Commit be18f02 pushed by ctchou
February 15, 2025 00:05 1m 49s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 15, 2025 00:05 1m 49s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #69: Pull request #42 synchronize by YaelDillies
February 14, 2025 13:27 1m 37s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 13:27 1m 37s
Update LeanCamCombi/ProbLYM.lean per Yaël Dillies's comments .github/workflows/push_pr.yml #68: Commit 0bc5775 pushed by YaelDillies
February 14, 2025 13:27 1m 38s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 13:27 1m 38s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #67: Pull request #42 synchronize by ctchou
February 14, 2025 03:10 1m 37s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 03:10 1m 37s
Update LeanCamCombi/ProbLYM.lean per Yaël Dillies's comments .github/workflows/push_pr.yml #66: Commit e0f7088 pushed by ctchou
February 14, 2025 03:10 1m 53s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 03:10 1m 53s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #65: Pull request #42 synchronize by ctchou
February 14, 2025 02:17 1m 38s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:17 1m 38s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #64: Commit 06acfa6 pushed by ctchou
February 14, 2025 02:17 1m 46s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:17 1m 46s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #63: Pull request #42 synchronize by ctchou
February 14, 2025 02:17 16s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:17 16s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #62: Commit c899b11 pushed by ctchou
February 14, 2025 02:17 17s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:17 17s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #61: Pull request #42 synchronize by ctchou
February 14, 2025 02:16 34s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 34s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #60: Commit 50692cb pushed by ctchou
February 14, 2025 02:16 34s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 34s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #59: Pull request #42 synchronize by ctchou
February 14, 2025 02:16 26s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 26s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #58: Commit e9d4ea3 pushed by ctchou
February 14, 2025 02:16 28s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 28s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #57: Pull request #42 synchronize by ctchou
February 14, 2025 02:16 32s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 32s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #56: Commit 51ac3ab pushed by ctchou
February 14, 2025 02:16 30s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 30s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #55: Pull request #42 synchronize by ctchou
February 14, 2025 02:16 15s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 15s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #54: Commit 231b27e pushed by ctchou
February 14, 2025 02:16 15s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:16 15s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #53: Pull request #42 synchronize by ctchou
February 14, 2025 02:15 1m 13s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:15 1m 13s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #52: Commit 7820cf4 pushed by ctchou
February 14, 2025 02:15 1m 13s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:15 1m 13s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #51: Pull request #42 synchronize by ctchou
February 14, 2025 02:14 39s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:14 39s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #50: Commit c2007f8 pushed by ctchou
February 14, 2025 02:14 27s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:14 27s
PlainCombi: LYM inequality using the Katona circle method .github/workflows/push_pr.yml #49: Pull request #42 synchronize by ctchou
February 14, 2025 02:14 1m 1s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:14 1m 1s
Update LeanCamCombi/ProbLYM.lean .github/workflows/push_pr.yml #48: Commit fc580bd pushed by ctchou
February 14, 2025 02:14 1m 4s personal/ctchou/prob-lym
personal/ctchou/prob-lym
February 14, 2025 02:14 1m 4s