Skip to content

Actions: martinescardo/TypeTopology

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
1,827 workflow runs
1,827 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove two-year old dot at the beginning of a file .github/workflows/main.yml #3170: Commit 24730f8 pushed by martinescardo
September 6, 2024 22:32 23m 8s master
master
September 6, 2024 22:32 23m 8s
Unused imports (#315) .github/workflows/main.yml #3169: Commit 44d3754 pushed by martinescardo
September 6, 2024 20:54 23m 42s master
master
September 6, 2024 20:54 23m 42s
Unused imports .github/workflows/main.yml #3168: Pull request #315 synchronize by tomdjong
September 6, 2024 20:12 23m 47s unused-imports
unused-imports
September 6, 2024 20:12 23m 47s
Unused imports .github/workflows/main.yml #3167: Pull request #315 synchronize by tomdjong
September 6, 2024 20:06 23m 13s unused-imports
unused-imports
September 6, 2024 20:06 23m 13s
Unused imports .github/workflows/main.yml #3166: Pull request #315 synchronize by tomdjong
September 6, 2024 20:06 23m 10s unused-imports
unused-imports
September 6, 2024 20:06 23m 10s
remove unused imports .github/workflows/main.yml #3165: Commit 0d77bea pushed by martinescardo
September 6, 2024 19:54 23m 43s master
master
September 6, 2024 19:54 23m 43s
Unused imports .github/workflows/main.yml #3164: Pull request #315 synchronize by tomdjong
September 6, 2024 19:30 23m 14s unused-imports
unused-imports
September 6, 2024 19:30 23m 14s
Unused imports .github/workflows/main.yml #3163: Pull request #315 synchronize by tomdjong
September 6, 2024 19:15 23m 11s unused-imports
unused-imports
September 6, 2024 19:15 23m 11s
Unused imports .github/workflows/main.yml #3162: Pull request #315 opened by tomdjong
September 6, 2024 18:13 23m 13s unused-imports
unused-imports
September 6, 2024 18:13 23m 13s
Improve import scripts further .github/workflows/main.yml #3161: Commit 0a33b86 pushed by tomdjong
September 6, 2024 17:16 23m 42s master
master
September 6, 2024 17:16 23m 42s
Connected Types PR .github/workflows/main.yml #3160: Pull request #313 reopened by IanRay11
September 6, 2024 16:50 23m 14s IanRay11:ConnectedTypesPR
IanRay11:ConnectedTypesPR
September 6, 2024 16:50 23m 14s
Connected Types PR .github/workflows/main.yml #3159: Pull request #313 synchronize by IanRay11
September 6, 2024 16:47 23m 4s IanRay11:ConnectedTypesPR
IanRay11:ConnectedTypesPR
September 6, 2024 16:47 23m 4s
Connected Types PR .github/workflows/main.yml #3158: Pull request #313 synchronize by IanRay11
September 6, 2024 16:36 23m 16s IanRay11:ConnectedTypesPR
IanRay11:ConnectedTypesPR
September 6, 2024 16:36 23m 16s
Make scripts Mac-compatible .github/workflows/main.yml #3157: Commit f14ec3e pushed by tomdjong
September 6, 2024 16:01 24m 29s master
master
September 6, 2024 16:01 24m 29s
Connected Types PR .github/workflows/main.yml #3156: Pull request #313 synchronize by IanRay11
September 6, 2024 15:24 23m 34s IanRay11:ConnectedTypesPR
IanRay11:ConnectedTypesPR
September 6, 2024 15:24 23m 34s
revert .github/workflows/main.yml #3155: Commit 176c4d2 pushed by martinescardo
September 6, 2024 14:08 23m 41s master
master
September 6, 2024 14:08 23m 41s
remove redundant imports .github/workflows/main.yml #3154: Commit 6327f46 pushed by martinescardo
September 6, 2024 14:01 23m 31s master
master
September 6, 2024 14:01 23m 31s
Unused imports (#314) .github/workflows/main.yml #3153: Commit e3e263d pushed by martinescardo
September 6, 2024 13:25 24m 26s master
master
September 6, 2024 13:25 24m 26s
Unused imports .github/workflows/main.yml #3152: Pull request #314 opened by tomdjong
September 6, 2024 13:09 22m 51s unused-imports
unused-imports
September 6, 2024 13:09 22m 51s
Add alternative characterizations of compactness and clean up .github/workflows/main.yml #3151: Pull request #301 synchronize by ayberkt
September 6, 2024 11:55 23m 26s compactness-2024-07-19
compactness-2024-07-19
September 6, 2024 11:55 23m 26s
Add alternative characterizations of compactness and clean up .github/workflows/main.yml #3150: Pull request #301 synchronize by ayberkt
September 6, 2024 11:52 23m 57s compactness-2024-07-19
compactness-2024-07-19
September 6, 2024 11:52 23m 57s
Add alternative characterizations of compactness and clean up .github/workflows/main.yml #3149: Pull request #301 synchronize by ayberkt
September 6, 2024 11:52 22m 54s compactness-2024-07-19
compactness-2024-07-19
September 6, 2024 11:52 22m 54s
Add alternative characterizations of compactness and clean up .github/workflows/main.yml #3148: Pull request #301 synchronize by ayberkt
September 6, 2024 11:43 17m 55s compactness-2024-07-19
compactness-2024-07-19
September 6, 2024 11:43 17m 55s
Add alternative characterizations of compactness and clean up .github/workflows/main.yml #3147: Pull request #301 synchronize by ayberkt
September 6, 2024 11:39 16m 1s compactness-2024-07-19
compactness-2024-07-19
September 6, 2024 11:39 16m 1s
grammar .github/workflows/main.yml #3146: Commit 48466a0 pushed by martinescardo
September 5, 2024 19:56 23m 20s master
master
September 5, 2024 19:56 23m 20s