Skip to content

Actions: typetools/checker-framework

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
Check a lambda's body against the purity of the method it implements Prek checks #2244: Pull request #8111 synchronize by mernst
1m 55s smillst:purity-checker-lambda-boundary
smillst:purity-checker-lambda-boundary
1m 55s
Check a lambda's body against the purity of the method it implements CI #3124: Pull request #8111 synchronize by mernst
In progress smillst:purity-checker-lambda-boundary
smillst:purity-checker-lambda-boundary
In progress
Check a lambda's body against the purity of the method it implements checkbashisms #323: Pull request #8111 synchronize by mernst
48s smillst:purity-checker-lambda-boundary
smillst:purity-checker-lambda-boundary
48s
Avoid negating the result of compareTo() Prek checks #2243: Pull request #8166 opened by kluever
Action required kluever:patch-1
kluever:patch-1
Action required
Avoid negating the result of compareTo() CI #3123: Pull request #8166 opened by kluever
Action required kluever:patch-1
kluever:patch-1
Action required
Avoid negating the result of compareTo() checkbashisms #322: Pull request #8166 opened by kluever
Action required kluever:patch-1
kluever:patch-1
Action required
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz Prek checks #2242: Commit 183c482 pushed by mernstcheckerframework
1m 10s master
master
1m 10s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz CI #3122: Commit 183c482 pushed by mernstcheckerframework
45m 23s master
master
45m 23s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz checkbashisms #321: Commit 183c482 pushed by mernstcheckerframework
29s master
master
29s
Push on master CodeQL #760: by mernstcheckerframework
13m 54s master
master
13m 54s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz CI #3121: Pull request #8164 synchronize by mernst
43m 50s mernst:generate-dot-and-pdf
mernst:generate-dot-and-pdf
43m 50s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz Prek checks #2241: Pull request #8164 synchronize by mernst
1m 4s mernst:generate-dot-and-pdf
mernst:generate-dot-and-pdf
1m 4s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz checkbashisms #320: Pull request #8164 synchronize by mernst
30s mernst:generate-dot-and-pdf
mernst:generate-dot-and-pdf
30s
Add missing overrides Prek checks #2240: Pull request #8165 opened by mernst
1m 19s mernst:dth-missing
mernst:dth-missing
1m 19s
Add missing overrides checkbashisms #319: Pull request #8165 opened by mernst
27s mernst:dth-missing
mernst:dth-missing
27s
Add missing overrides CI #3120: Pull request #8165 opened by mernst
44m 25s mernst:dth-missing
mernst:dth-missing
44m 25s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz checkbashisms #318: Pull request #8164 opened by mernst
30s mernst:generate-dot-and-pdf
mernst:generate-dot-and-pdf
30s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz CI #3119: Pull request #8164 opened by mernst
45m 51s mernst:generate-dot-and-pdf
mernst:generate-dot-and-pdf
45m 51s
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz Prek checks #2239: Pull request #8164 opened by mernst
1m 8s mernst:generate-dot-and-pdf
mernst:generate-dot-and-pdf
1m 8s
Don't side-effect the argument to updateFromOverride (#8163) CI #3118: Commit 8f9dca3 pushed by mernst
54m 3s master
master
54m 3s
Don't side-effect the argument to updateFromOverride (#8163) Prek checks #2238: Commit 8f9dca3 pushed by mernst
1m 17s master
master
1m 17s
Don't side-effect the argument to updateFromOverride (#8163) checkbashisms #317: Commit 8f9dca3 pushed by mernst
1m 23s master
master
1m 23s
Push on master CodeQL #759: by mernst
12m 5s master
master
12m 5s
Remove dead getAClass methods (#8162) CI #3117: Commit c22abd5 pushed by mernst
1m 10s master
master
1m 10s
Remove dead getAClass methods (#8162) Prek checks #2237: Commit c22abd5 pushed by mernst
1m 16s master
master
1m 16s