Skip to content

Actions: DetachHead/basedpyright

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,985 workflow runs
8,985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #146: by github-pages bot
February 26, 2025 08:29 31s gh-pages
gh-pages
February 26, 2025 08:29 31s
remove usage of esnext Set.union in case people are using older nod… Run mypy_primer on push #288: Commit dfd7148 pushed by DetachHead
February 26, 2025 08:26 1h 55m 6s main
main
February 26, 2025 08:26 1h 55m 6s
remove usage of esnext Set.union in case people are using older nod… build and release #1665: Commit dfd7148 pushed by DetachHead
February 26, 2025 08:26 21m 36s main
main
February 26, 2025 08:26 21m 36s
remove usage of esnext Set.union in case people are using older nod… Code Scanning - Action #2017: Commit dfd7148 pushed by DetachHead
February 26, 2025 08:26 4m 38s main
main
February 26, 2025 08:26 4m 38s
remove usage of esnext Set.union in case people are using older nod… docs #1004: Commit dfd7148 pushed by DetachHead
February 26, 2025 08:26 2m 49s main
main
February 26, 2025 08:26 2m 49s
Merge 1.1.395 Run mypy_primer on PR #1023: Pull request #1108 synchronize by DetachHead
February 26, 2025 08:20 47m 31s merge-1.1.395
merge-1.1.395
February 26, 2025 08:20 47m 31s
Merge 1.1.395 docs #1003: Pull request #1108 synchronize by DetachHead
February 26, 2025 08:20 2m 33s merge-1.1.395
merge-1.1.395
February 26, 2025 08:20 2m 33s
Merge 1.1.395 Validation #1603: Pull request #1108 synchronize by DetachHead
February 26, 2025 08:20 10m 12s merge-1.1.395
merge-1.1.395
February 26, 2025 08:20 10m 12s
Merge 1.1.395 Code Scanning - Action #2016: Pull request #1108 synchronize by DetachHead
February 26, 2025 08:20 6m 22s merge-1.1.395
merge-1.1.395
February 26, 2025 08:20 6m 22s
add methods to new IBackgroundAnalysis interface build and release #1664: Commit 8b54c23 pushed by DetachHead
February 26, 2025 08:20 24m 27s merge-1.1.395
merge-1.1.395
February 26, 2025 08:20 24m 27s
remove usage of esnext Set.union in case people are using older node versions Code Scanning - Action #2015: Pull request #1109 opened by DetachHead
February 26, 2025 08:02 6m 15s remove-esnext-stuff
remove-esnext-stuff
February 26, 2025 08:02 6m 15s
remove usage of esnext Set.union in case people are using older node versions docs #1002: Pull request #1109 opened by DetachHead
February 26, 2025 08:02 2m 28s remove-esnext-stuff
remove-esnext-stuff
February 26, 2025 08:02 2m 28s
remove usage of esnext Set.union in case people are using older node versions Validation #1602: Pull request #1109 opened by DetachHead
February 26, 2025 08:02 9m 54s remove-esnext-stuff
remove-esnext-stuff
February 26, 2025 08:02 9m 54s
remove usage of esnext Set.union in case people are using older node versions Run mypy_primer on PR #1022: Pull request #1109 opened by DetachHead
February 26, 2025 08:02 45m 59s remove-esnext-stuff
remove-esnext-stuff
February 26, 2025 08:02 45m 59s
remove usage of esnext Set.union in case people are using older nod… build and release #1663: Commit 91f1d51 pushed by DetachHead
February 26, 2025 08:02 24m 22s remove-esnext-stuff
remove-esnext-stuff
February 26, 2025 08:02 24m 22s
Comment with mypy_primer diff Comment with mypy_primer diff #1011: completed by DetachHead
February 26, 2025 06:22 2s
February 26, 2025 06:22 2s
Merge 1.1.395 Run mypy_primer on PR #1021: Pull request #1108 opened by DetachHead
February 26, 2025 06:17 5m 52s merge-1.1.395
merge-1.1.395
February 26, 2025 06:17 5m 52s
Merge 1.1.395 Code Scanning - Action #2014: Pull request #1108 opened by DetachHead
February 26, 2025 06:17 6m 14s merge-1.1.395
merge-1.1.395
February 26, 2025 06:17 6m 14s
Merge 1.1.395 Validation #1601: Pull request #1108 opened by DetachHead
February 26, 2025 06:17 3m 41s merge-1.1.395
merge-1.1.395
February 26, 2025 06:17 3m 41s
Merge 1.1.395 docs #1001: Pull request #1108 opened by DetachHead
February 26, 2025 06:17 2m 3s merge-1.1.395
merge-1.1.395
February 26, 2025 06:17 2m 3s
Merge tag '1.1.395' into merge-1.1.395 build and release #1662: Commit d827308 pushed by DetachHead
February 26, 2025 06:16 19m 27s merge-1.1.395
merge-1.1.395
February 26, 2025 06:16 19m 27s
pages build and deployment pages-build-deployment #145: by github-pages bot
February 24, 2025 13:56 27s gh-pages
gh-pages
February 24, 2025 13:56 27s
turns out theres no way to tell github actions to use a different nod… Code Scanning - Action #2013: Commit 3f850b8 pushed by DetachHead
February 24, 2025 13:54 5m 0s main
main
February 24, 2025 13:54 5m 0s
turns out theres no way to tell github actions to use a different nod… docs #1000: Commit 3f850b8 pushed by DetachHead
February 24, 2025 13:54 2m 51s main
main
February 24, 2025 13:54 2m 51s
turns out theres no way to tell github actions to use a different nod… build and release #1661: Commit 3f850b8 pushed by DetachHead
February 24, 2025 13:54 22m 2s main
main
February 24, 2025 13:54 22m 2s