Skip to content

Actions: dwijnand/scala3

Specification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
167 workflow runs
167 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Drop MatchAlias in TypeComparer
Specification #141: Commit f831526 pushed by dwijnand
March 7, 2024 16:49 1m 23s drop-MatchAlias-in-TypeComparer
March 7, 2024 16:49 1m 23s
Rework ParamRef#underlying handling in disjointnessBoundary
Specification #138: Commit d687dee pushed by dwijnand
March 4, 2024 13:14 1m 39s mt/lub-rhss
March 4, 2024 13:14 1m 39s
Heal member-select on opaque reference
Specification #137: Commit 6847de0 pushed by dwijnand
March 4, 2024 13:11 1m 16s select-opaque
March 4, 2024 13:11 1m 16s
Heal member-select on opaque reference
Specification #136: Commit f9025c9 pushed by dwijnand
March 4, 2024 13:09 1m 28s select-opaque
March 4, 2024 13:09 1m 28s
Dealias an applied match alias
Specification #135: Commit 64d6ec7 pushed by dwijnand
March 4, 2024 12:54 1m 18s dealias-applied-match-alias
March 4, 2024 12:54 1m 18s
Rework MatchType recursion in collectParts
Specification #134: Commit f0cd565 pushed by dwijnand
March 4, 2024 12:06 1m 21s recursive-mt
March 4, 2024 12:06 1m 21s
Dealias an applied match alias
Specification #133: Commit 38d2524 pushed by dwijnand
March 2, 2024 12:55 1m 25s dealias-applied-match-alias
March 2, 2024 12:55 1m 25s
Fix run-macros/type-show
Specification #132: Commit db1dcdc pushed by dwijnand
February 28, 2024 10:28 1m 33s mt/lub-rhss
February 28, 2024 10:28 1m 33s
Drop more outer-pointers
Specification #131: Commit 455153d pushed by dwijnand
February 27, 2024 18:15 3m 7s outer-pointers
February 27, 2024 18:15 3m 7s
Handle NoType in disjointnessBoundary
Specification #130: Commit 2423198 pushed by dwijnand
February 27, 2024 16:04 1m 40s mt/lub-rhss
February 27, 2024 16:04 1m 40s
Reuse methods for prefix and owner
Specification #129: Commit 000de84 pushed by dwijnand
February 26, 2024 20:54 1m 21s export-nested-class
February 26, 2024 20:54 1m 21s
Lub MatchTypeTree case body types and store as the inferred bound
Specification #128: Commit c25edde pushed by dwijnand
February 26, 2024 17:29 1m 20s mt/lub-rhss
February 26, 2024 17:29 1m 20s
Avoid losing the symbols denotation on update
Specification #127: Commit 097fb65 pushed by dwijnand
February 24, 2024 18:10 1m 43s rebase/repl-bad-symbolic-ref
February 24, 2024 18:10 1m 43s
Reuse methods for prefix and owner
Specification #126: Commit c9220c2 pushed by dwijnand
February 24, 2024 18:06 1m 39s export-nested-class
February 24, 2024 18:06 1m 39s
Extract shared prepareRhsCtx
Specification #125: Commit e6359f5 pushed by dwijnand
February 23, 2024 10:44 1m 29s bp/gadt-poly
February 23, 2024 10:44 1m 29s
Fix legitimate onnx-scala bounds check
Specification #124: Commit 76c8268 pushed by dwijnand
February 23, 2024 10:33 1m 26s match-type-check-bounds
February 23, 2024 10:33 1m 26s
Make -Xprompt work as desired under -Werror
Specification #123: Commit 6c6f7d8 pushed by dwijnand
February 22, 2024 15:18 1m 31s Xprompt-under-Werror
February 22, 2024 15:18 1m 31s
Extract shared prepareRhsCtx
Specification #122: Commit 2c81588 pushed by dwijnand
February 22, 2024 15:14 1m 28s gadt-poly
February 22, 2024 15:14 1m 28s
Approximate MatchTypes with lub of case bodies, if non-recursive
Specification #121: Commit 8f2b6cf pushed by dwijnand
February 22, 2024 14:00 1m 20s mt/lub-rhss
February 22, 2024 14:00 1m 20s
Fix incorrect usage of TypeVar#inst
Specification #120: Commit 88561ff pushed by dwijnand
February 22, 2024 12:17 1m 30s select-opaque
February 22, 2024 12:17 1m 30s
Consider aliases of Any as top
Specification #119: Commit f5a43fa pushed by dwijnand
February 19, 2024 15:06 1m 21s alias-top-is-top
February 19, 2024 15:06 1m 21s
Heal member-select on opaque reference
Specification #118: Commit 0a67c39 pushed by dwijnand
February 19, 2024 11:03 1m 20s select-opaque
February 19, 2024 11:03 1m 20s