Skip to content

Actions: kaushik327/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use refine Lean Action CI #9: Commit 22008ef pushed by kaushik327
9m 9s main
main
9m 9s
fix Lean Action CI #8: Commit b932898 pushed by kaushik327
14m 20s main
main
14m 20s
hi Lean Action CI #7: Commit cd7768c pushed by kaushik327
13m 48s main
main
13m 48s
update Lean Action CI #6: Commit acc47b1 pushed by kaushik327
8m 25s main
main
8m 25s
update Lean Action CI #5: Commit abffa55 pushed by kaushik327
8m 16s main
main
8m 16s
allow for i < j in argument Lean Action CI #4: Commit c97b39c pushed by kaushik327
8m 32s main
main
8m 32s
better Lean Action CI #3: Commit 432170e pushed by kaushik327
8m 44s main
main
8m 44s
palindrome Lean Action CI #2: Commit 03b6399 pushed by kaushik327
8m 28s main
main
8m 28s
abstract argument Lean Action CI #1: Commit fb45570 pushed by kaushik327
13m 37s main
main
13m 37s