Skip to content

Actions: LionSR/MIPStarRE

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Housekeeping Housekeeping #31: Scheduled
3m 53s main
main
3m 53s
Housekeeping Housekeeping #30: Scheduled
5m 11s main
main
5m 11s
Housekeeping Housekeeping #29: Scheduled
13s main
main
13s
Housekeeping Housekeeping #28: Scheduled
20m 56s main
main
20m 56s
Housekeeping Housekeeping #27: Scheduled
11s main
main
11s
Housekeeping Housekeeping #26: Scheduled
5m 24s main
main
5m 24s
Auto Fix (Lean) Auto Fix (Lean) #18238: completed by LionSR
1s
1s
Auto Fix (Lean) Auto Fix (Lean) #18237: completed by LionSR
1s
1s
PR Review PR Review #84: completed by LionSR
9s
9s
Auto Fix (Lean) Auto Fix (Lean) #18236: completed by LionSR
8s
8s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22017: Pull request #2639 submitted by claude Bot
1s
1s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22016: Pull request #2639 submitted by claude Bot
2s
2s
De-tacticize remaining embedded tactic proofs in definition bodies (batch 2+) Claude Code (Lean) #22015: Issue comment #2599 (comment) created by LionSR
2s
2s
De-tacticize remaining embedded tactic proofs in definition bodies (batch 2+) Issue Automation #83: Issue #2599 closed by LionSR
13s
13s
refactor(ldt): de-tacticize main induction fields (#2639) PR CI #95: Commit 892b939 pushed by LionSR
6m 13s main
main
6m 13s
refactor(ldt): de-tacticize main induction fields Issue Automation #82: Pull request #2639 closed by LionSR
1m 11s refactor/detacticize-main-induction-fields
refactor/detacticize-main-induction-fields
1m 11s
Auto Fix (Lean) Auto Fix (Lean) #18235: completed by LionSR
8s
8s
PR Review PR Review #83: completed by LionSR
5m 49s
5m 49s
Auto Fix (Lean) Auto Fix (Lean) #18234: completed by LionSR
1s
1s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22014: Pull request #2639 submitted by claude Bot
1s
1s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22013: Pull request #2639 submitted by claude Bot
1s
1s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22012: Issue comment #2639 (comment) created by chatgpt-codex-connector Bot
1s
1s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22011: Pull request #2639 submitted by claude Bot
2s
2s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22010: Issue comment #2639 (comment) created by LionSR
43s
43s
refactor(ldt): de-tacticize main induction fields Claude Code (Lean) #22009: Issue comment #2639 (comment) created by LionSR
2s
2s