Skip to content

Actions: quinn-dougherty/fvapps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

kill imp, mv everythign up a dir Lean Action CI #12: Commit 34b2bca pushed by quinn-dougherty
September 13, 2024 21:12 15s master
master
September 13, 2024 21:12 15s
Merge branch 'master' into HEAD Lean Action CI #11: Commit ee305ad pushed by quinn-dougherty
September 13, 2024 20:48 21s master
master
September 13, 2024 20:48 21s
Claude Property Wrapper V0 Lean Action CI #10: Pull request #1 synchronize by quinn-dougherty
September 13, 2024 20:46 30s claude-wrapper-v0
claude-wrapper-v0
September 13, 2024 20:46 30s
Merge branch 'master' into HEAD Lean Action CI #9: Commit ee305ad pushed by quinn-dougherty
September 13, 2024 20:46 25s claude-wrapper-v0
claude-wrapper-v0
September 13, 2024 20:46 25s
a note in readme Lean Action CI #8: Commit b56eaaf pushed by quinn-dougherty
September 13, 2024 20:37 30s master
master
September 13, 2024 20:37 30s
add openai so I can just force merge Lean Action CI #7: Commit 965dcdb pushed by ronakrm
September 12, 2024 01:02 29s claude-wrapper-v0
claude-wrapper-v0
September 12, 2024 01:02 29s
first pass working! Lean Action CI #6: Commit 4394d0e pushed by ronakrm
September 12, 2024 00:56 25s claude-wrapper-v0
claude-wrapper-v0
September 12, 2024 00:56 25s
add openai with rye add Lean Action CI #5: Commit 3b398de pushed by quinn-dougherty
September 11, 2024 22:20 24s master
master
September 11, 2024 22:20 24s
basic version, imports, api keys Lean Action CI #4: Commit cd1afbc pushed by ronakrm
September 11, 2024 21:07 33s claude-wrapper-v0
claude-wrapper-v0
September 11, 2024 21:07 33s
commit with notes Lean Action CI #3: Commit ea979d4 pushed by quinn-dougherty
September 11, 2024 20:19 27s master
master
September 11, 2024 20:19 27s
truthy and falsy strings Lean Action CI #2: Commit f14f30c pushed by quinn-dougherty
September 10, 2024 20:06 42s master
master
September 10, 2024 20:06 42s
it begins Lean Action CI #1: Commit ad75a66 pushed by quinn-dougherty
September 10, 2024 16:31 28s master
master
September 10, 2024 16:31 28s