Skip to content

Actions: roos-j/lean-booleanfun

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor Lean Action CI #8: Commit bc73c40 pushed by roos-j
2m 10s main
main
2m 10s
update mathlib and Lean Lean Action CI #7: Commit 082c9dd pushed by roos-j
2m 23s main
main
2m 23s
streamline Lean Action CI #6: Commit 95ea0f1 pushed by roos-j
2m 2s main
main
2m 2s
streamline inner product Lean Action CI #5: Commit 95008d1 pushed by roos-j
2m 19s main
main
2m 19s
adapt style Lean Action CI #4: Commit 43d1aa9 pushed by roos-j
1m 59s main
main
1m 59s
remove redundant aux lemma sum_tuple_prod_distrib Lean Action CI #3: Commit 37289af pushed by roos-j
1m 53s main
main
1m 53s
deprecate eq_zero_of_nonneg_and_sum_eq_zero in favor of `all_zero_o… Lean Action CI #2: Commit af8c9ba pushed by roos-j
2m 32s main
main
2m 32s
Initial commit Lean Action CI #1: Commit 46fe3c7 pushed by roos-j
2m 26s main
main
2m 26s