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

Pushout draft .github/workflows/main.yml #3546: Pull request #335 synchronize by IanRay11
January 31, 2025 17:27 3s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 31, 2025 17:27 3s
the type of truth values has a non-trivial apartness iff WEM holds .github/workflows/main.yml #3545: Commit 87ebdcb pushed by martinescardo
January 31, 2025 12:36 17m 19s master
master
January 31, 2025 12:36 17m 19s
rename module .github/workflows/main.yml #3544: Commit 29c1378 pushed by martinescardo
January 31, 2025 11:21 2m 8s master
master
January 31, 2025 11:21 2m 8s
Minor facts about apartness and injectivity .github/workflows/main.yml #3543: Commit 5abb4e9 pushed by tomdjong
January 31, 2025 10:53 8m 22s master
master
January 31, 2025 10:53 8m 22s
Add reference to Robin Grayson .github/workflows/main.yml #3542: Commit bff1561 pushed by martinescardo
January 31, 2025 08:55 15m 19s master
master
January 31, 2025 08:55 15m 19s
improve choice module a bit .github/workflows/main.yml #3541: Commit 6cfd7e7 pushed by martinescardo
January 30, 2025 12:46 2m 13s master
master
January 30, 2025 12:46 2m 13s
Pushout draft .github/workflows/main.yml #3540: Pull request #335 synchronize by IanRay11
January 29, 2025 17:31 3s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 29, 2025 17:31 3s
improve comments .github/workflows/main.yml #3539: Commit c22dd9d pushed by martinescardo
January 29, 2025 09:43 2m 3s master
master
January 29, 2025 09:43 2m 3s
Pushout draft .github/workflows/main.yml #3538: Pull request #335 synchronize by IanRay11
January 28, 2025 23:10 3s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 28, 2025 23:10 3s
Pushout draft .github/workflows/main.yml #3537: Pull request #335 synchronize by IanRay11
January 28, 2025 17:17 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 28, 2025 17:17 2s
more explanation in UF/Choice .github/workflows/main.yml #3536: Commit 5423701 pushed by martinescardo
January 28, 2025 11:31 2m 20s master
master
January 28, 2025 11:31 2m 20s
minor changes in UF/Choice .github/workflows/main.yml #3535: Commit c4bf709 pushed by martinescardo
January 28, 2025 11:16 2m 17s master
master
January 28, 2025 11:16 2m 17s
Pushout draft .github/workflows/main.yml #3534: Pull request #335 synchronize by IanRay11
January 28, 2025 03:18 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 28, 2025 03:18 2s
Pushout draft .github/workflows/main.yml #3533: Pull request #335 synchronize by IanRay11
January 28, 2025 01:19 2s IanRay11:Pushout-Experiment
IanRay11:Pushout-Experiment
January 28, 2025 01:19 2s
Tight apartness on injective type gives double negation of WEM (#336) .github/workflows/main.yml #3532: Commit 5beb560 pushed by martinescardo
January 27, 2025 16:00 8m 13s master
master
January 27, 2025 16:00 8m 13s
Tight apartness on injective type gives double negation of WEM .github/workflows/main.yml #3531: Pull request #336 synchronize by tomdjong
January 27, 2025 15:25 1m 57s tight-apartness
tight-apartness
January 27, 2025 15:25 1m 57s
Tight apartness on injective type gives double negation of WEM .github/workflows/main.yml #3530: Pull request #336 opened by tomdjong
January 27, 2025 14:02 18m 43s tight-apartness
tight-apartness
January 27, 2025 14:02 18m 43s
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