Skip to content

Actions: martinescardo/TypeTopology

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cosmetic changes while exploring .github/workflows/main.yml #3529: Commit 2138bf5 pushed by martinescardo
January 26, 2025 20:35 18m 34s master
master
January 26, 2025 20:35 18m 34s
Pushout draft .github/workflows/main.yml #3528: Pull request #335 synchronize by IanRay11
January 26, 2025 16:55 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 26, 2025 16:55 2s
Pushout draft .github/workflows/main.yml #3527: Pull request #335 synchronize by IanRay11
January 25, 2025 05:21 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 25, 2025 05:21 2s
Pushout draft .github/workflows/main.yml #3526: Pull request #335 synchronize by IanRay11
January 25, 2025 05:17 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 25, 2025 05:17 2s
Pushout draft .github/workflows/main.yml #3525: Pull request #335 synchronize by IanRay11
January 23, 2025 13:46 3s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 23, 2025 13:46 3s
Pushout draft .github/workflows/main.yml #3524: Pull request #335 synchronize by IanRay11
January 20, 2025 17:45 3s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 20, 2025 17:45 3s
Pushout draft .github/workflows/main.yml #3523: Pull request #335 synchronize by IanRay11
January 20, 2025 06:12 3s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 20, 2025 06:12 3s
Merge branch 'master' of github.com:martinescardo/TypeTopology .github/workflows/main.yml #3522: Commit aaa462e pushed by martinescardo
January 16, 2025 20:00 2m 8s master
master
January 16, 2025 20:00 2m 8s
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