Skip to content

Actions: avekens/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
167 workflow runs
167 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GL's review remark verifiers #584: Commit 3aa85fe pushed by avekens
November 28, 2024 04:48 2m 18s av-extstr5
av-extstr5
November 28, 2024 04:48 2m 18s
typos and editorial improvements verifiers #583: Commit 3cfe093 pushed by avekens
November 25, 2024 07:40 2m 48s av-extstr5
av-extstr5
November 25, 2024 07:40 2m 48s
Comments on extensible structures verifiers #582: Commit 593e66d pushed by avekens
November 24, 2024 18:37 3m 43s av-extstr5
av-extstr5
November 24, 2024 18:37 3m 43s
Update discouraged verifiers #581: Commit e12527c pushed by avekens
November 23, 2024 06:22 3m 16s av-extstr4
av-extstr4
November 23, 2024 06:22 3m 16s
Merge branch 'develop' of https://github.com/metamath/set.mm into av-… verifiers #580: Commit 641d6aa pushed by avekens
November 23, 2024 06:15 2m 44s av-extstr4
av-extstr4
November 23, 2024 06:15 2m 44s
rewrap verifiers #579: Commit 2b04fc4 pushed by avekens
November 15, 2024 20:54 3m 5s av-extstr4
av-extstr4
November 15, 2024 20:54 3m 5s
misc. verifiers #578: Commit 36cacbe pushed by avekens
November 15, 2024 20:52 2m 32s av-extstr4
av-extstr4
November 15, 2024 20:52 2m 32s
revision of ~srasca, ~sravsca, ~prstcleval, ~prstcocval verifiers #577: Commit 53ac02d pushed by avekens
November 15, 2024 12:55 4m 52s av-extstr4
av-extstr4
November 15, 2024 12:55 4m 52s
discouraged updated, syl5eq replaced by eqtrid verifiers #576: Commit b76c391 pushed by avekens
November 11, 2024 07:44 2m 28s av-extstr3
av-extstr3
November 11, 2024 07:44 2m 28s
Merge branch 'develop' into av-extstr3 verifiers #575: Commit f3369c8 pushed by avekens
November 11, 2024 04:02 2m 33s av-extstr3
av-extstr3
November 11, 2024 04:02 2m 33s
Merge branch 'develop' into av-extstr3 verifiers #574: Commit 560cc52 pushed by tirix
November 8, 2024 13:54 3m 6s av-extstr3
av-extstr3
November 8, 2024 13:54 3m 6s
Typos, update discouraged verifiers #573: Commit 6c77873 pushed by avekens
November 8, 2024 09:56 2m 26s av-extstr3
av-extstr3
November 8, 2024 09:56 2m 26s
verifiers verifiers #572: by avekens
November 8, 2024 09:22 2m 37s av-extstr3
av-extstr3
November 8, 2024 09:22 2m 37s
some shortened proofs verifiers #571: Commit e230290 pushed by avekens
November 7, 2024 15:49 2m 25s av-extstr3
av-extstr3
November 7, 2024 15:49 2m 25s
Rewrap verifiers #570: Commit b48e932 pushed by avekens
November 7, 2024 09:50 2m 25s av-extstr3
av-extstr3
November 7, 2024 09:50 2m 25s
Revision for +g verifiers #569: Commit 8e54ff3 pushed by avekens
November 6, 2024 17:35 2m 37s av-extstr3
av-extstr3
November 6, 2024 17:35 2m 37s
Revision for .r verifiers #568: Commit 268641b pushed by avekens
November 6, 2024 16:29 3m 3s av-extstr3
av-extstr3
November 6, 2024 16:29 3m 3s
Revision for .s verifiers #567: Commit ac4ce0c pushed by avekens
November 2, 2024 12:01 2m 16s av-extstr3
av-extstr3
November 2, 2024 12:01 2m 16s
Revisions for TopSet verifiers #566: Commit f26385c pushed by avekens
October 31, 2024 22:09 2m 15s av-extstr3
av-extstr3
October 31, 2024 22:09 2m 15s
Revisions for le and .ef verifiers #565: Commit 98c770a pushed by avekens
October 31, 2024 04:59 4m 45s av-extstr3
av-extstr3
October 31, 2024 04:59 4m 45s
Update discouraged verifiers #564: Commit 1e38c16 pushed by avekens
October 21, 2024 16:55 3m 43s av-extstr2
av-extstr2
October 21, 2024 16:55 3m 43s
rewrap verifiers #563: Commit cff2348 pushed by avekens
October 21, 2024 16:43 3m 6s av-extstr2
av-extstr2
October 21, 2024 16:43 3m 6s
ress* independent of df-* verifiers #562: Commit 670ea9f pushed by avekens
October 21, 2024 16:30 5m 23s av-extstr2
av-extstr2
October 21, 2024 16:30 5m 23s
Rewrap verifiers #561: Commit 67359b8 pushed by avekens
October 15, 2024 06:55 3m 45s av-extstr
av-extstr
October 15, 2024 06:55 3m 45s
Revision of structure theorems (2) verifiers #560: Commit bd80f46 pushed by avekens
October 15, 2024 06:24 8m 1s av-extstr
av-extstr
October 15, 2024 06:24 8m 1s