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

level of section "Semirings" changed verifiers #600: Commit ae2227d pushed by avekens
January 19, 2025 07:51 3m 39s av_ru
av_ru
January 19, 2025 07:51 3m 39s
multiplicative neutral element -> unity element verifiers #599: Commit 3396ff3 pushed by avekens
January 19, 2025 07:10 3m 44s av_ru
av_ru
January 19, 2025 07:10 3m 44s
Replace "rn" by "cdm" (3) verifiers #598: Commit 5391790 pushed by avekens
January 8, 2025 17:19 3m 39s av_rn4
av_rn4
January 8, 2025 17:19 3m 39s
Merge branch 'develop' into av_rn3 verifiers #597: Commit e297b73 pushed by avekens
January 5, 2025 08:10 3m 38s av_rn3
av_rn3
January 5, 2025 08:10 3m 38s
replace codomain by codomain/range for onto functions verifiers #596: Commit 49572f0 pushed by avekens
January 5, 2025 08:05 3m 10s av_rn3
av_rn3
January 5, 2025 08:05 3m 10s
WL's review remark verifiers #595: Commit 36cd995 pushed by avekens
January 4, 2025 14:37 2m 54s av_rn3
av_rn3
January 4, 2025 14:37 2m 54s
Merge branch 'develop' of https://github.com/metamath/set.mm into av_rn3 verifiers #594: Commit 67e3170 pushed by avekens
January 4, 2025 08:21 4m 4s av_rn3
av_rn3
January 4, 2025 08:21 4m 4s
Replace "rn" by "cdm" (3c) verifiers #593: Commit 02a2fb8 pushed by avekens
January 4, 2025 08:07 3m 45s av_rn3
av_rn3
January 4, 2025 08:07 3m 45s
Merge branch 'develop' into av_rn2 verifiers #592: Commit 3762e82 pushed by avekens
December 30, 2024 09:19 2m 53s av_rn2
av_rn2
December 30, 2024 09:19 2m 53s
Rewrap verifiers #591: Commit 739dd3b pushed by avekens
December 28, 2024 16:10 3m 4s av_rn2
av_rn2
December 28, 2024 16:10 3m 4s
Merge branch 'develop' of https://github.com/metamath/set.mm into av_rn2 verifiers #590: Commit 36c67d0 pushed by avekens
December 28, 2024 16:04 3m 29s av_rn2
av_rn2
December 28, 2024 16:04 3m 29s
Replace "rn" by "cdm" (2f) verifiers #589: Commit c76d185 pushed by avekens
December 28, 2024 15:46 5m 34s av_rn2
av_rn2
December 28, 2024 15:46 5m 34s
Merge branch 'develop' into av_rn1 verifiers #588: Commit 9d13cd9 pushed by avekens
December 21, 2024 13:02 4m 29s av_rn1
av_rn1
December 21, 2024 13:02 4m 29s
Typo ffel* -> ffvel* verifiers #587: Commit b16612a pushed by avekens
December 21, 2024 12:59 2m 58s av_rn1
av_rn1
December 21, 2024 12:59 2m 58s
Correction of examples for abbreviation verifiers #586: Commit 1ccd70e pushed by avekens
December 18, 2024 05:06 3m 44s av_rn1
av_rn1
December 18, 2024 05:06 3m 44s
Replace "rn" by "cdm" (1) verifiers #585: Commit 42d7266 pushed by avekens
December 17, 2024 19:56 3m 48s av_rn1
av_rn1
December 17, 2024 19:56 3m 48s
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