Skip to content

Actions: FrederickPu/CanonicalDrafter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixing the channel issue Lean Action CI #51: Commit 414ed76 pushed by chasenorman
2m 54s master
master
2m 54s
eager Lean Action CI #50: Commit 4607e43 pushed by chasenorman
3m 3s master
master
3m 3s
Merge branch 'master' of https://github.com/FrederickPu/CanonicalDrafter Lean Action CI #49: Commit 824f864 pushed by chasenorman
3m 2s master
master
3m 2s
fixed batching bug Lean Action CI #48: Commit 82c0e20 pushed by FrederickPu
2m 46s master
master
2m 46s
add maxconcurrency limit Lean Action CI #47: Commit 9d1cf93 pushed by FrederickPu
2m 24s master
master
2m 24s
bump and fixed tests Lean Action CI #46: Commit aa406a0 pushed by FrederickPu
2m 56s master
master
2m 56s
sketched llm drafter (note : a lot of code duplication) Lean Action CI #45: Commit 28c3de1 pushed by FrederickPu
2m 57s leanllm
leanllm
2m 57s
initial sketch of mvcar map (so drafts can be used to train agent mod… Lean Action CI #44: Commit a371fe5 pushed by FrederickPu
2m 50s agent-mode
agent-mode
2m 50s
preparation for Task.race Lean Action CI #43: Commit 0182af9 pushed by chasenorman
1m 48s master
master
1m 48s
robustness to elab errors Lean Action CI #42: Commit 15bbbfa pushed by chasenorman
1m 46s master
master
1m 46s
style Lean Action CI #41: Commit 06e1b89 pushed by chasenorman
2m 15s master
master
2m 15s
bugfix Lean Action CI #40: Commit 11e8700 pushed by chasenorman
3m 2s master
master
3m 2s
last Lean Action CI #39: Commit 88ddf2d pushed by chasenorman
2m 23s master
master
2m 23s
MessageData Lean Action CI #38: Commit d9785e2 pushed by chasenorman
2m 14s master
master
2m 14s
improved elaboration to close all metavariables and infertypes more a… Lean Action CI #37: Commit 8ef6fed pushed by FrederickPu
2m 13s master
master
2m 13s
add error and out Lean Action CI #36: Commit 414532d pushed by FrederickPu
2m 15s master
master
2m 15s
draft of channel communication protocol Lean Action CI #35: Commit 1171e0f pushed by FrederickPu
2m 25s master
master
2m 25s
initial sketch of user interaction thing Lean Action CI #34: Commit b1c8751 pushed by FrederickPu
3m 34s master
master
3m 34s
update tests Lean Action CI #33: Commit d6e41ea pushed by FrederickPu
3m 19s master
master
3m 19s
upgraded lean version Lean Action CI #32: Commit e40187b pushed by FrederickPu
3m 23s master
master
3m 23s
unified freshmvar logic Lean Action CI #31: Commit 1a94740 pushed by FrederickPu
3m 52s master
master
3m 52s
improved output format and included removal and kind information Lean Action CI #30: Commit a8f0721 pushed by FrederickPu
4m 4s master
master
4m 4s
added expose_names to ban test Lean Action CI #29: Commit 01b8f1f pushed by FrederickPu
3m 48s master
master
3m 48s
fixed obtain logic Lean Action CI #28: Commit 89b76a3 pushed by FrederickPu
3m 53s master
master
3m 53s
added imp flag, fixed obtain logic and per tactic error handling Lean Action CI #27: Commit 610d20b pushed by FrederickPu
3m 55s master
master
3m 55s