Skip to content

Actions: avekens/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Composition of functions (follow up) verifiers #559: Commit 82f4fcb pushed by avekens
October 7, 2024 16:01 3m 45s av-fset4
av-fset4
October 7, 2024 16:01 3m 45s
minimize with ~fexd verifiers #558: Commit 7c99a16 pushed by avekens
September 27, 2024 11:02 3m 49s av-shorten10
av-shorten10
September 27, 2024 11:02 3m 49s
Merge branch 'develop' into av-fset3 verifiers #557: Commit 4e00371 pushed by benjub
September 23, 2024 21:45 3m 7s av-fset3
av-fset3
September 23, 2024 21:45 3m 7s
Merge branch 'develop' into av-fset3 verifiers #556: Commit 2eb9415 pushed by benjub
September 23, 2024 18:30 2m 38s av-fset3
av-fset3
September 23, 2024 18:30 2m 38s
BJ's review remarks (2) verifiers #555: Commit f3dbafc pushed by avekens
September 23, 2024 16:50 3m 6s av-fset3
av-fset3
September 23, 2024 16:50 3m 6s
Merge branch 'develop' of https://github.com/metamath/set.mm into av-… verifiers #554: Commit 5551f79 pushed by avekens
September 23, 2024 15:02 2m 28s av-fset3
av-fset3
September 23, 2024 15:02 2m 28s
Merge branch 'av-fset3' of https://github.com/avekens/set.mm into av-… verifiers #553: Commit e5367a4 pushed by avekens
September 22, 2024 09:35 2m 43s av-fset3
av-fset3
September 22, 2024 09:35 2m 43s
Merge branch 'develop' into av-fset3 verifiers #552: Commit dc14c6c pushed by avekens
September 22, 2024 05:54 2m 17s av-fset3
av-fset3
September 22, 2024 05:54 2m 17s
proof of ~ineqcomi shortened verifiers #551: Commit d3642d5 pushed by avekens
September 21, 2024 15:45 2m 24s av-fset3
av-fset3
September 21, 2024 15:45 2m 24s
sylibda -> sylbida verifiers #550: Commit 1405eba pushed by avekens
September 21, 2024 15:39 3m 14s av-fset3
av-fset3
September 21, 2024 15:39 3m 14s
compositions of functions verifiers #549: Commit e374cd4 pushed by avekens
September 21, 2024 10:26 3m 50s av-fset3
av-fset3
September 21, 2024 10:26 3m 50s
BJ's review remarks verifiers #548: Commit e11485b pushed by avekens
September 15, 2024 17:04 2m 53s av-fset2
av-fset2
September 15, 2024 17:04 2m 53s
more typos fixed verifiers #547: Commit 30e0473 pushed by avekens
September 15, 2024 15:05 2m 21s av-fset2
av-fset2
September 15, 2024 15:05 2m 21s
typo verifiers #546: Commit 3b138cd pushed by avekens
September 15, 2024 14:40 2m 32s av-fset2
av-fset2
September 15, 2024 14:40 2m 32s
rewrap (3) verifiers #545: Commit bf39ad5 pushed by avekens
September 15, 2024 12:22 2m 21s av-fset2
av-fset2
September 15, 2024 12:22 2m 21s
rewrap (2) verifiers #544: Commit 463e8b9 pushed by avekens
September 15, 2024 12:14 2m 40s av-fset2
av-fset2
September 15, 2024 12:14 2m 40s
rewrap verifiers #543: Commit 5c66edb pushed by avekens
September 15, 2024 12:08 2m 30s av-fset2
av-fset2
September 15, 2024 12:08 2m 30s
fsetprcnex revised according to BJ's proposal verifiers #542: Commit 5beaff5 pushed by avekens
September 15, 2024 12:04 3m 2s av-fset2
av-fset2
September 15, 2024 12:04 3m 2s
rewrap verifiers #541: Commit 42165e9 pushed by avekens
September 14, 2024 20:06 3m 19s av-fset2
av-fset2
September 14, 2024 20:06 3m 19s
correction of comments verifiers #540: Commit bd9f323 pushed by avekens
September 14, 2024 20:03 2m 36s av-fset2
av-fset2
September 14, 2024 20:03 2m 36s
typo, changes verifiers #539: Commit ff70d57 pushed by avekens
September 14, 2024 13:46 2m 32s av-fset2
av-fset2
September 14, 2024 13:46 2m 32s
Rewrap verifiers #538: Commit 1a2cacb pushed by avekens
September 14, 2024 13:18 3m 48s av-fset2
av-fset2
September 14, 2024 13:18 3m 48s
Revision according to TA's review remark verifiers #537: Commit 5579380 pushed by avekens
August 25, 2024 12:23 2m 39s av-fset
av-fset
August 25, 2024 12:23 2m 39s