Skip to content

Actions: martinescardo/TypeTopology

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor improvement .github/workflows/main.yml #3408: Commit 1e2e4a0 pushed by martinescardo
October 21, 2024 14:32 8m 49s master
master
October 21, 2024 14:32 8m 49s
remove question - I tried and it doesn't improve the universes .github/workflows/main.yml #3407: Commit 61a7059 pushed by martinescardo
October 21, 2024 14:30 9m 24s master
master
October 21, 2024 14:30 9m 24s
a few improvements .github/workflows/main.yml #3406: Commit 03e52d5 pushed by martinescardo
October 21, 2024 13:55 2m 29s master
master
October 21, 2024 13:55 2m 29s
update file count .github/workflows/main.yml #3405: Commit fdea3e9 pushed by martinescardo
October 21, 2024 13:32 18m 31s master
master
October 21, 2024 13:32 18m 31s
univalence is not needed .github/workflows/main.yml #3404: Commit 0451dcd pushed by martinescardo
October 21, 2024 13:29 18m 49s master
master
October 21, 2024 13:29 18m 49s
Necessary and sufficient condition for the injectivity of a subtype o… .github/workflows/main.yml #3403: Commit 8dc8be7 pushed by martinescardo
October 21, 2024 12:27 18m 30s master
master
October 21, 2024 12:27 18m 30s
compatibility condition is actually data .github/workflows/main.yml #3402: Commit cca1681 pushed by martinescardo
October 21, 2024 08:41 17m 44s master
master
October 21, 2024 08:41 17m 44s
code review .github/workflows/main.yml #3401: Commit 1c016f5 pushed by martinescardo
October 21, 2024 08:39 17m 38s master
master
October 21, 2024 08:39 17m 38s
complete renaming .github/workflows/main.yml #3400: Commit 809c778 pushed by martinescardo
October 18, 2024 09:41 2m 27s master
master
October 18, 2024 09:41 2m 27s
improve comment .github/workflows/main.yml #3399: Commit e3d5c6a pushed by martinescardo
October 18, 2024 08:24 2m 28s master
master
October 18, 2024 08:24 2m 28s
update advertised compatible version of Agda .github/workflows/main.yml #3398: Commit f9fdbab pushed by martinescardo
October 17, 2024 15:43 2m 24s master
master
October 17, 2024 15:43 2m 24s
update advertised compatible version of Agda .github/workflows/main.yml #3397: Commit 652e122 pushed by martinescardo
October 17, 2024 15:42 2m 21s master
master
October 17, 2024 15:42 2m 21s
For Ian Ray .github/workflows/main.yml #3396: Commit d1cdf89 pushed by martinescardo
October 17, 2024 15:29 2m 32s master
master
October 17, 2024 15:29 2m 32s
declare inclusion of naturals into the type of integers from -2 as a … .github/workflows/main.yml #3395: Commit 4c545a1 pushed by martinescardo
October 17, 2024 12:00 18m 8s master
master
October 17, 2024 12:00 18m 8s
remove obsolete comment .github/workflows/main.yml #3394: Commit 7dcff67 pushed by martinescardo
October 17, 2024 09:28 2m 48s master
master
October 17, 2024 09:28 2m 48s
example of injective sum whose index type may not be injective .github/workflows/main.yml #3393: Commit 35099a0 pushed by martinescardo
October 17, 2024 09:16 2m 19s master
master
October 17, 2024 09:16 2m 19s
code review and minor addition .github/workflows/main.yml #3392: Commit 5ab521f pushed by martinescardo
October 16, 2024 17:27 6m 7s master
master
October 16, 2024 17:27 6m 7s
Merge branch 'master' of github.com:martinescardo/TypeTopology .github/workflows/main.yml #3391: Commit e9183e3 pushed by martinescardo
October 16, 2024 14:25 6m 11s master
master
October 16, 2024 14:25 6m 11s
Bump version of the Agda action .github/workflows/main.yml #3390: Commit a457308 pushed by ayberkt
October 15, 2024 22:50 18m 56s master
master
October 15, 2024 22:50 18m 56s
remove redundant imports .github/workflows/main.yml #3389: Commit f4217b7 pushed by martinescardo
October 15, 2024 12:17 4m 57s master
master
October 15, 2024 12:17 4m 57s
code review and factor out limit ordinals code to a new file .github/workflows/main.yml #3388: Commit 87be22c pushed by martinescardo
October 15, 2024 11:36 3m 52s master
master
October 15, 2024 11:36 3m 52s
code and comment review .github/workflows/main.yml #3387: Commit c388c30 pushed by martinescardo
October 15, 2024 09:28 20m 37s master
master
October 15, 2024 09:28 20m 37s
update cross references .github/workflows/main.yml #3386: Commit 42f1a68 pushed by martinescardo
October 15, 2024 08:15 2m 37s master
master
October 15, 2024 08:15 2m 37s
add TODO .github/workflows/main.yml #3385: Commit feaf289 pushed by martinescardo
October 14, 2024 16:35 2m 25s master
master
October 14, 2024 16:35 2m 25s
minor improvements .github/workflows/main.yml #3384: Commit 3e01fc3 pushed by martinescardo
October 14, 2024 16:32 2m 49s master
master
October 14, 2024 16:32 2m 49s