Skip to content

Actions: BoltonBailey/formal-snarks-project

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

back to master on mathlib CI #11: Commit dcfc78d pushed by BoltonBailey
July 20, 2024 15:36 1m 6s master
master
July 20, 2024 15:36 1m 6s
more comments CI #10: Commit 848140e pushed by BoltonBailey
May 19, 2024 06:59 1m 36s master
master
May 19, 2024 06:59 1m 36s
inline lemma CI #9: Commit 275ad2b pushed by BoltonBailey
May 19, 2024 06:34 1m 55s master
master
May 19, 2024 06:34 1m 55s
contrpositivize lt_of_degreeOf_lt_mem_support CI #8: Commit 9fbdc83 pushed by BoltonBailey
May 19, 2024 06:27 1m 34s master
master
May 19, 2024 06:27 1m 34s
add pr ref CI #7: Commit 14cfa54 pushed by BoltonBailey
May 19, 2024 06:27 1m 37s master
master
May 19, 2024 06:27 1m 37s
ref mathlib prs CI #6: Commit 091aefd pushed by BoltonBailey
May 19, 2024 05:58 1m 37s master
master
May 19, 2024 05:58 1m 37s
add ref to mathlib pr CI #5: Commit aabafbb pushed by BoltonBailey
May 19, 2024 05:44 1m 37s master
master
May 19, 2024 05:44 1m 37s
to_additivize sum_map_ite_eq CI #4: Commit 453cab2 pushed by BoltonBailey
May 19, 2024 05:24 1m 36s master
master
May 19, 2024 05:24 1m 36s
add imports CI #3: Commit ebb713b pushed by BoltonBailey
May 19, 2024 05:08 2m 1s master
master
May 19, 2024 05:08 2m 1s
add an import CI #2: Commit 2285801 pushed by BoltonBailey
May 19, 2024 05:03 1m 27s master
master
May 19, 2024 05:03 1m 27s
CI CI #1: Manually run by BoltonBailey
May 19, 2024 04:44 1m 43s master
master
May 19, 2024 04:44 1m 43s