Skip to content

Actions: martinescardo/TypeTopology

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of github.com:martinescardo/TypeTopology .github/workflows/main.yml #3521: Commit 4deea80 pushed by ayberkt
January 16, 2025 17:45 2m 8s master
master
January 16, 2025 17:45 2m 8s
Adding a proof of the universal property of pullbacks that avoids fun… .github/workflows/main.yml #3520: Commit 43809b8 pushed by martinescardo
January 16, 2025 17:06 11s master
master
January 16, 2025 17:06 11s
minor mods .github/workflows/main.yml #3519: Commit c37d375 pushed by martinescardo
January 16, 2025 16:59 11s master
master
January 16, 2025 16:59 11s
Adding a proof of the universal property of pullbacks that avoids fun… .github/workflows/main.yml #3518: Pull request #334 synchronize by IanRay11
January 16, 2025 16:38 15s IanRay11:Pullback-Expirement
IanRay11:Pullback-Expirement
January 16, 2025 16:38 15s
Pushout draft .github/workflows/main.yml #3517: Pull request #335 opened by IanRay11
January 16, 2025 16:30 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 16, 2025 16:30 2s
Adding a proof of the universal property of pullbacks that avoids fun… .github/workflows/main.yml #3516: Pull request #334 opened by IanRay11
January 15, 2025 17:23 18m 54s IanRay11:Pullback-Expirement
IanRay11:Pullback-Expirement
January 15, 2025 17:23 18m 54s
minor .github/workflows/main.yml #3515: Commit a158af0 pushed by martinescardo
January 15, 2025 11:19 2m 51s master
master
January 15, 2025 11:19 2m 51s
add new file from commit #333 to UF/index.lagda .github/workflows/main.yml #3514: Commit 8a17ca1 pushed by martinescardo
January 14, 2025 10:05 2m 48s master
master
January 14, 2025 10:05 2m 48s
Connections between Size, Truncation and Connectedness (#333) .github/workflows/main.yml #3513: Commit 8bb8f1a pushed by tomdjong
January 14, 2025 08:09 2m 27s master
master
January 14, 2025 08:09 2m 27s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3512: Pull request #333 synchronize by IanRay11
January 13, 2025 14:05 2m 3s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 14:05 2m 3s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3511: Pull request #333 synchronize by IanRay11
January 13, 2025 14:02 1m 53s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 14:02 1m 53s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3510: Pull request #333 synchronize by IanRay11
January 13, 2025 13:50 1m 59s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 13:50 1m 59s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3509: Pull request #333 synchronize by IanRay11
January 13, 2025 13:46 1m 54s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 13:46 1m 54s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3508: Pull request #333 synchronize by IanRay11
January 13, 2025 13:33 1m 53s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 13:33 1m 53s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3507: Pull request #333 synchronize by IanRay11
January 13, 2025 13:25 2m 0s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 13:25 2m 0s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3506: Pull request #333 synchronize by IanRay11
January 13, 2025 13:17 1m 56s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 13, 2025 13:17 1m 56s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3505: Pull request #333 synchronize by IanRay11
January 12, 2025 06:36 1m 50s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 12, 2025 06:36 1m 50s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3504: Pull request #333 synchronize by IanRay11
January 12, 2025 02:03 2m 4s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 12, 2025 02:03 2m 4s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3503: Pull request #333 synchronize by IanRay11
January 11, 2025 01:47 1m 51s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 11, 2025 01:47 1m 51s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3502: Pull request #333 synchronize by IanRay11
January 10, 2025 17:50 2m 2s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 10, 2025 17:50 2m 2s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3501: Pull request #333 synchronize by IanRay11
January 10, 2025 01:52 1m 57s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 10, 2025 01:52 1m 57s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3500: Pull request #333 synchronize by IanRay11
January 10, 2025 01:46 1m 56s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 10, 2025 01:46 1m 56s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3499: Pull request #333 synchronize by IanRay11
January 9, 2025 18:31 1m 57s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 9, 2025 18:31 1m 57s
Connections between Size, Truncation and Connectedness .github/workflows/main.yml #3498: Pull request #333 synchronize by IanRay11
January 9, 2025 17:02 13s IanRay11:SmallTypesandConnectednessResults
IanRay11:SmallTypesandConnectednessResults
January 9, 2025 17:02 13s
minor mods .github/workflows/main.yml #3497: Commit 89a61af pushed by martinescardo
January 9, 2025 16:04 2m 52s master
master
January 9, 2025 16:04 2m 52s