Skip to content

Actions: lolpack/type_coverage_py

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #1868: by lolpack
In progress published-report
published-report
In progress
Daily LSP Benchmark Daily LSP Benchmark #325: Scheduled
45m 56s main
main
45m 56s
Running Copilot Code Review Copilot #4: by Copilot AI
2m 18s main
main
2m 18s
Running Copilot Code Review Copilot #3: by Copilot AI
2m 7s main
main
2m 7s
Running Copilot Code Review Copilot #2: by Copilot AI
2m 3s main
main
2m 3s
Dashboard checker notes CI #306: Pull request #166 opened by lolpack
29s dashboard-checker-notes
dashboard-checker-notes
29s
Experiment: measure PRs #163, #164 and #165 against main Typecheck Benchmark PRs 163-165 Experiment #1: Commit 9b6eec0 pushed by lolpack
2h 15m 28s benchmark-prs-163-165-experiment
benchmark-prs-163-165-experiment
2h 15m 28s
pages build and deployment pages-build-deployment #1867: by lolpack
2m 51s published-report
published-report
2m 51s
Daily Type Checker Timing Benchmark Daily Type Checker Timing Benchmark #263: Scheduled
2h 41m 15s main
main
2h 41m 15s
Daily LSP Benchmark Daily LSP Benchmark #324: Scheduled
6h 1m 4s main
main
6h 1m 4s
Measure Linux benchmark peak RSS with wait4 CI #305: Pull request #165 opened by sharkdp
41s sharkdp:codex/linux-peak-rss
sharkdp:codex/linux-peak-rss
41s
Create a dummy Zuban configuration for isolation (same as Mypy) CI #304: Pull request #164 opened by sharkdp
34s sharkdp:codex/fix-zuban-benchmark-config
sharkdp:codex/fix-zuban-benchmark-config
34s
Generally reject exit codes other than 0 and 1 CI #303: Pull request #163 opened by sharkdp
37s sharkdp:codex/checker-exit-codes
sharkdp:codex/checker-exit-codes
37s
pages build and deployment pages-build-deployment #1866: by lolpack
1m 54s published-report
published-report
1m 54s
Daily Type Checker Timing Benchmark Daily Type Checker Timing Benchmark #262: Scheduled
2h 39m 49s main
main
2h 39m 49s
pages build and deployment pages-build-deployment #1865: by lolpack
2m 20s published-report
published-report
2m 20s
Daily LSP Benchmark Daily LSP Benchmark #323: Scheduled
47m 20s main
main
47m 20s
pages build and deployment pages-build-deployment #1864: by lolpack
1m 42s published-report
published-report
1m 42s
Daily Type Checker Timing Benchmark Daily Type Checker Timing Benchmark #261: Scheduled
2h 48m 1s main
main
2h 48m 1s
pages build and deployment pages-build-deployment #1863: by lolpack
1m 46s published-report
published-report
1m 46s
Daily LSP Benchmark Daily LSP Benchmark #322: Scheduled
47m 34s main
main
47m 34s
pages build and deployment pages-build-deployment #1862: by lolpack
1m 32s published-report
published-report
1m 32s
Daily Type Checker Timing Benchmark Daily Type Checker Timing Benchmark #260: Scheduled
2h 47m 48s main
main
2h 47m 48s
pages build and deployment pages-build-deployment #1861: by lolpack
1m 28s published-report
published-report
1m 28s
Daily LSP Benchmark Daily LSP Benchmark #321: Scheduled
44m 37s main
main
44m 37s