Skip to content

Actions: martinescardo/TypeTopology

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,518 workflow runs
1,518 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3496: Pull request #333 synchronize by IanRay11
January 9, 2025 01:19 1m 55s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 9, 2025 01:19 1m 55s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3495: Pull request #333 synchronize by IanRay11
January 8, 2025 22:00 18m 32s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 8, 2025 22:00 18m 32s
update file and line count .github/workflows/main.yml #3494: Commit 30b03c1 pushed by martinescardo
January 8, 2025 21:50 2m 23s master
master
January 8, 2025 21:50 2m 23s
add missing module .github/workflows/main.yml #3493: Commit d406b14 pushed by martinescardo
January 8, 2025 21:44 2m 50s master
master
January 8, 2025 21:44 2m 50s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3492: Pull request #333 opened by IanRay11
January 8, 2025 21:24 8m 16s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 8, 2025 21:24 8m 16s
characterization of the product of the variation of the J transformer .github/workflows/main.yml #3491: Commit 71ca5c6 pushed by martinescardo
January 8, 2025 13:32 1m 6s master
master
January 8, 2025 13:32 1m 6s
characterization of the product of the variation of the J transformer .github/workflows/main.yml #3490: Commit 675617e pushed by martinescardo
January 8, 2025 13:27 1m 9s master
master
January 8, 2025 13:27 1m 9s
a variation of the J transformer .github/workflows/main.yml #3489: Commit f729e34 pushed by martinescardo
January 8, 2025 09:32 1m 20s master
master
January 8, 2025 09:32 1m 20s
move updatehtml to admin_utilities .github/workflows/main.yml #3488: Commit bcd1c58 pushed by martinescardo
January 7, 2025 09:56 2m 35s master
master
January 7, 2025 09:56 2m 35s
Lemmas for formalizations of results on Small Types and Connectedness… .github/workflows/main.yml #3487: Commit 4836129 pushed by tomdjong
January 7, 2025 07:37 18m 3s master
master
January 7, 2025 07:37 18m 3s
Lemmas for formalizations of results on Small Types and Connectedness .github/workflows/main.yml #3486: Pull request #331 synchronize by IanRay11
January 6, 2025 16:15 18m 48s IanRay11:SmallTypesConnectednessLemmas
IanRay11:SmallTypesConnectednessLemmas
January 6, 2025 16:15 18m 48s
Script for generating Makefile (#332) .github/workflows/main.yml #3485: Commit faaabc2 pushed by martinescardo
January 3, 2025 08:08 18m 51s master
master
January 3, 2025 08:08 18m 51s
better terminology .github/workflows/main.yml #3484: Commit 80f5919 pushed by martinescardo
January 3, 2025 08:03 18m 50s master
master
January 3, 2025 08:03 18m 50s
Script for generating Makefile .github/workflows/main.yml #3483: Pull request #332 synchronize by ayberkt
January 2, 2025 13:33 18m 36s generate-makefile
generate-makefile
January 2, 2025 13:33 18m 36s
Script for generating Makefile .github/workflows/main.yml #3482: Pull request #332 opened by ayberkt
January 2, 2025 13:33 18m 21s generate-makefile
generate-makefile
January 2, 2025 13:33 18m 21s
Lemmas for formalizations of results on Small Types and Connectedness .github/workflows/main.yml #3481: Pull request #331 synchronize by IanRay11
December 26, 2024 17:20 18m 16s IanRay11:SmallTypesConnectednessLemmas
IanRay11:SmallTypesConnectednessLemmas
December 26, 2024 17:20 18m 16s
blank line and long line .github/workflows/main.yml #3480: Commit 84f6b4a pushed by martinescardo
December 25, 2024 17:49 2m 13s master
master
December 25, 2024 17:49 2m 13s
make the whole repository typecheck and minor tweeks .github/workflows/main.yml #3479: Commit 87849b3 pushed by martinescardo
December 24, 2024 22:57 2m 21s master
master
December 24, 2024 22:57 2m 21s
Equivalence of conatural types (#330) .github/workflows/main.yml #3478: Commit 085ccbc pushed by martinescardo
December 24, 2024 22:51 1m 8s master
master
December 24, 2024 22:51 1m 8s
Equivalence of conatural types .github/workflows/main.yml #3477: Pull request #330 synchronize by Seiryn21
December 24, 2024 21:01 3s Seiryn21:CoNat-Equiv
Seiryn21:CoNat-Equiv
December 24, 2024 21:01 3s
fix comment .github/workflows/main.yml #3476: Commit e18f926 pushed by martinescardo
December 24, 2024 16:55 16m 23s master
master
December 24, 2024 16:55 16m 23s
minor remark .github/workflows/main.yml #3475: Commit 4094268 pushed by martinescardo
December 24, 2024 16:33 16m 58s master
master
December 24, 2024 16:33 16m 58s
remove blank line .github/workflows/main.yml #3474: Commit 738b1ad pushed by martinescardo
December 20, 2024 15:58 16m 50s master
master
December 20, 2024 15:58 16m 50s
formalize the diagram we have in the paper we are writing on injectiv… .github/workflows/main.yml #3473: Commit f3396c2 pushed by martinescardo
December 20, 2024 15:40 16m 55s master
master
December 20, 2024 15:40 16m 55s
a few things regarding De Morgan .github/workflows/main.yml #3472: Commit a0beaa2 pushed by martinescardo
December 19, 2024 16:51 16m 54s master
master
December 19, 2024 16:51 16m 54s