Skip to content

Actions: metamath/set.mm

Actions

verifiers

Actions

Loading...
Loading

Showing runs from all workflows named verifiers
3,250 workflow run results
3,250 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add recapb to iset.mm verifiers #8808: Pull request #4583 synchronize by jkingdon
January 19, 2025 05:27 2m 50s jkingdon:recapb
jkingdon:recapb
January 19, 2025 05:27 2m 50s
Add recapb to iset.mm verifiers #8807: Pull request #4583 opened by jkingdon
January 19, 2025 04:32 2m 50s jkingdon:recapb
jkingdon:recapb
January 19, 2025 04:32 2m 50s
Constructible numbers - initial idea verifiers #8806: Pull request #4578 synchronize by tirix
January 19, 2025 01:27 2m 48s tirix:constr
tirix:constr
January 19, 2025 01:27 2m 48s
Constructible numbers - initial idea verifiers #8805: Pull request #4578 synchronize by tirix
January 18, 2025 19:11 2m 50s tirix:constr
tirix:constr
January 18, 2025 19:11 2m 50s
Add some closed forms: elintabg, snelpwg, intidg. verifiers #8804: Pull request #4582 synchronize by benjub
January 18, 2025 17:39 3m 36s benjub:minor
benjub:minor
January 18, 2025 17:39 3m 36s
Surreal cuts verifiers #8803: Pull request #4580 synchronize by sctfn
January 18, 2025 17:32 2m 37s surreal-cuts
surreal-cuts
January 18, 2025 17:32 2m 37s
rewrap verifiers #8802: Commit 10fc153 pushed by sctfn
January 18, 2025 17:32 2m 48s surreal-cuts
surreal-cuts
January 18, 2025 17:32 2m 48s
Surreal cuts verifiers #8801: Pull request #4580 synchronize by sctfn
January 18, 2025 17:29 2m 59s surreal-cuts
surreal-cuts
January 18, 2025 17:29 2m 59s
incorporate benjub's suggestions verifiers #8800: Commit 2162d5d pushed by sctfn
January 18, 2025 17:29 3m 8s surreal-cuts
surreal-cuts
January 18, 2025 17:29 3m 8s
Add some closed forms: elintabg, snelpwg, intidg. verifiers #8799: Pull request #4582 synchronize by benjub
January 18, 2025 14:57 2m 51s benjub:minor
benjub:minor
January 18, 2025 14:57 2m 51s
Add some closed forms: elintabg, snelpwg, intidg. verifiers #8798: Pull request #4582 synchronize by benjub
January 18, 2025 10:50 2m 50s benjub:minor
benjub:minor
January 18, 2025 10:50 2m 50s
Add some closed forms: elintabg, snelpwg, intidg. verifiers #8797: Pull request #4582 opened by benjub
January 18, 2025 01:10 3m 3s benjub:minor
benjub:minor
January 18, 2025 01:10 3m 3s
ring isomorphism transitivity + prjcrv0 refactor verifiers #8796: Pull request #4581 synchronize by icecream17
January 18, 2025 00:37 2m 49s icecream17:develop
icecream17:develop
January 18, 2025 00:37 2m 49s
ring isomorphism transitivity + prjcrv0 refactor verifiers #8795: Pull request #4581 synchronize by icecream17
January 18, 2025 00:32 3m 2s icecream17:develop
icecream17:develop
January 18, 2025 00:32 3m 2s
ring isomorphism transitivity + prjcrv0 refactor verifiers #8794: Pull request #4581 synchronize by icecream17
January 18, 2025 00:07 3m 54s icecream17:develop
icecream17:develop
January 18, 2025 00:07 3m 54s
ring isomorphism transitivity + prjcrv0 refactor verifiers #8793: Pull request #4581 opened by icecream17
January 17, 2025 23:32 3m 4s icecream17:develop
icecream17:develop
January 17, 2025 23:32 3m 4s
Surreal cuts verifiers #8792: Pull request #4580 synchronize by sctfn
January 17, 2025 20:25 3m 9s surreal-cuts
surreal-cuts
January 17, 2025 20:25 3m 9s
rm braces verifiers #8791: Commit d6059ba pushed by sctfn
January 17, 2025 20:25 3m 9s surreal-cuts
surreal-cuts
January 17, 2025 20:25 3m 9s
Surreal cuts verifiers #8790: Pull request #4580 opened by sctfn
January 17, 2025 20:01 3m 6s surreal-cuts
surreal-cuts
January 17, 2025 20:01 3m 6s
document changes verifiers #8789: Commit ec17a72 pushed by sctfn
January 17, 2025 19:59 3m 10s surreal-cuts
surreal-cuts
January 17, 2025 19:59 3m 10s
Surreal Ordering and Birthday (#4579) verifiers #8788: Commit 291db5a pushed by sctfn
January 17, 2025 19:50 23s develop
develop
January 17, 2025 19:50 23s
Constructible numbers - initial idea verifiers #8787: Pull request #4578 synchronize by tirix
January 17, 2025 06:45 3m 33s tirix:constr
tirix:constr
January 17, 2025 06:45 3m 33s
Constructible numbers - initial idea verifiers #8786: Pull request #4578 synchronize by tirix
January 17, 2025 06:41 3m 41s tirix:constr
tirix:constr
January 17, 2025 06:41 3m 41s
Constructible numbers - initial idea verifiers #8785: Pull request #4578 synchronize by tirix
January 17, 2025 06:40 2m 59s tirix:constr
tirix:constr
January 17, 2025 06:40 2m 59s
Constructible numbers - initial idea verifiers #8784: Pull request #4578 synchronize by tirix
January 17, 2025 06:40 2m 43s tirix:constr
tirix:constr
January 17, 2025 06:40 2m 43s