Skip to content

Actions: nahcnuj/tibi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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
Prove Expr.typeCheck_complete for full language with Var, Lam, App Lean Action CI #58: Pull request #8 synchronize by Copilot AI
19s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
19s
Add TODO comments to Compiler.lean and update README syntax with Var/… Lean Action CI #57: Commit 329808f pushed by Copilot AI
20s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
20s
Addressing comment on PR #8 Copilot coding agent #6: by Copilot AI
2m 7s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
2m 7s
Copilot code review Copilot code review #1: by Copilot AI
7m 13s refs/pull/8/head
refs/pull/8/head
7m 13s
Prove Expr.typeCheck_complete for full language with Var, Lam, App Lean Action CI #56: Pull request #8 synchronize by Copilot AI
21s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
21s
Fix Props/Compiler.lean: add Expr ctx .int type annotation so Lean ca… Lean Action CI #55: Commit aba9c0c pushed by Copilot AI
24s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
24s
Addressing comment on PR #8 Copilot coding agent #5: by Copilot AI
4m 35s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
4m 35s
Prove Expr.typeCheck_complete for full language with Var, Lam, App Lean Action CI #54: Pull request #8 synchronize by Copilot AI
22s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
22s
Fix Props/Compiler.lean: use Eval.Const proofs for Int64 value, wildc… Lean Action CI #53: Commit e8938c0 pushed by Copilot AI
22s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
22s
Addressing comment on PR #8 Copilot coding agent #4: by Copilot AI
8m 41s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
8m 41s
Prove Expr.typeCheck_complete for full language with Var, Lam, App Lean Action CI #52: Pull request #8 synchronize by Copilot AI
23s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
23s
Fix Props/Compiler.lean: move {e} into arrow chain so pattern can bind n Lean Action CI #51: Commit 3ed9b48 pushed by Copilot AI
22s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
22s
Addressing comment on PR #8 Copilot coding agent #3: by Copilot AI
6m 12s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
6m 12s
Prove Expr.typeCheck_complete for full language with Var, Lam, App Lean Action CI #50: Pull request #8 synchronize by Copilot AI
23s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
23s
Fix CI failures in Props/Typing.lean and Props/Compiler.lean Lean Action CI #49: Commit 85630ab pushed by Copilot AI
22s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
22s
Addressing comment on PR #8 Copilot coding agent #2: by Copilot AI
12m 11s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
12m 11s
Prove Expr.typeCheck_complete for full language with Var, Lam, App Lean Action CI #48: Pull request #8 synchronize by Copilot AI
22s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
22s
Fix Props/Compiler.lean exhaustive cases and use Typ.Fn.injEq in HasT… Lean Action CI #47: Commit acd4f98 pushed by Copilot AI
28s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
28s
Running Copilot coding agent Copilot coding agent #1: by Copilot AI
47m 38s copilot/prove-expr-typecheck-complete
copilot/prove-expr-typecheck-complete
47m 38s