Skip to content

Actions: dwijnand/scala3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow run results
99 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow some kindness in provablyDisjoint Specification #57: Commit b973cf9 pushed by dwijnand
December 12, 2023 18:44 1m 18s recursive-decompose-prefix
recursive-decompose-prefix
December 12, 2023 18:44 1m 18s
Allow some kindness in provablyDisjoint Dotty #831: Commit b973cf9 pushed by dwijnand
December 12, 2023 18:44 1d 3h 43m 17s recursive-decompose-prefix
recursive-decompose-prefix
December 12, 2023 18:44 1d 3h 43m 17s
Allow some kindness in provablyDisjoint Specification #56: Commit 98c10c9 pushed by dwijnand
December 12, 2023 18:44 1m 18s recursive-decompose-prefix
recursive-decompose-prefix
December 12, 2023 18:44 1m 18s
Allow some kindness in provablyDisjoint Dotty #830: Commit 98c10c9 pushed by dwijnand
December 12, 2023 18:44 1d 3h 43m 59s recursive-decompose-prefix
recursive-decompose-prefix
December 12, 2023 18:44 1d 3h 43m 59s
Allow some kindness in provablyDisjoint Specification #55: Commit 7061748 pushed by dwijnand
December 12, 2023 18:42 1m 18s recursive-decompose-prefix
recursive-decompose-prefix
December 12, 2023 18:42 1m 18s
Allow some kindness in provablyDisjoint Dotty #829: Commit 7061748 pushed by dwijnand
December 12, 2023 18:42 1d 3h 45m 49s recursive-decompose-prefix
recursive-decompose-prefix
December 12, 2023 18:42 1d 3h 45m 49s
Fix type inferencing (constraining) regressions Specification #54: Commit d47605d pushed by dwijnand
December 11, 2023 18:30 1m 31s infer
infer
December 11, 2023 18:30 1m 31s
Fix type inferencing (constraining) regressions Dotty #828: Commit d47605d pushed by dwijnand
December 11, 2023 18:30 1d 3h 57m 5s infer
infer
December 11, 2023 18:30 1d 3h 57m 5s
Fix instantiating subtypes with outer references Specification #53: Commit 494d995 pushed by dwijnand
December 11, 2023 14:52 1m 23s recursive-decompose-prefix
recursive-decompose-prefix
December 11, 2023 14:52 1m 23s
Fix instantiating subtypes with outer references Dotty #827: Commit 494d995 pushed by dwijnand
December 11, 2023 14:52 1d 7h 35m 34s recursive-decompose-prefix
recursive-decompose-prefix
December 11, 2023 14:52 1d 7h 35m 34s
Fix scaladoc-js HTML.Tag unchecked patmat Dotty #826: Commit 0769a16 pushed by dwijnand
December 7, 2023 21:22 1d 1h 6m 0s recursive-decompose-prefix
recursive-decompose-prefix
December 7, 2023 21:22 1d 1h 6m 0s
Fix scaladoc-js HTML.Tag unchecked patmat Specification #52: Commit 0769a16 pushed by dwijnand
December 7, 2023 21:22 2m 3s recursive-decompose-prefix
recursive-decompose-prefix
December 7, 2023 21:22 2m 3s
more Dotty #825: Commit b793b3f pushed by dwijnand
December 7, 2023 16:42 1d 5h 45m 28s infer
infer
December 7, 2023 16:42 1d 5h 45m 28s
more Specification #51: Commit b793b3f pushed by dwijnand
December 7, 2023 16:42 1m 24s infer
infer
December 7, 2023 16:42 1m 24s
Minimise and fix upstream ZIO's problem Dotty #824: Commit 8c841e0 pushed by dwijnand
December 7, 2023 14:36 1d 7h 51m 50s infer
infer
December 7, 2023 14:36 1d 7h 51m 50s
Minimise and fix upstream ZIO's problem Specification #50: Commit 8c841e0 pushed by dwijnand
December 7, 2023 14:36 1m 19s infer
infer
December 7, 2023 14:36 1m 19s
Fix provablyDisjoint handling of HK types Dotty #823: Commit 3e37592 pushed by dwijnand
December 7, 2023 14:28 1d 7h 59m 12s recursive-decompose-prefix
recursive-decompose-prefix
December 7, 2023 14:28 1d 7h 59m 12s
Fix provablyDisjoint handling of HK types Specification #49: Commit 3e37592 pushed by dwijnand
December 7, 2023 14:28 1m 33s recursive-decompose-prefix
recursive-decompose-prefix
December 7, 2023 14:28 1m 33s
Document why large generic tuples are not exhaustivity checked Dotty #822: Commit 771b866 pushed by dwijnand
December 7, 2023 12:13 1d 10h 14m 32s match-analyse-tuplexxl
match-analyse-tuplexxl
December 7, 2023 12:13 1d 10h 14m 32s
Document why large generic tuples are not exhaustivity checked Specification #48: Commit 771b866 pushed by dwijnand
December 7, 2023 12:13 1m 19s match-analyse-tuplexxl
match-analyse-tuplexxl
December 7, 2023 12:13 1m 19s
Remove unnecessary and recursive Space decomposition Specification #47: Commit e167c64 pushed by dwijnand
December 6, 2023 18:05 1m 25s recursive-decompose-prefix
recursive-decompose-prefix
December 6, 2023 18:05 1m 25s
Remove unnecessary and recursive Space decomposition Dotty #821: Commit e167c64 pushed by dwijnand
December 6, 2023 18:05 1d 4h 22m 7s recursive-decompose-prefix
recursive-decompose-prefix
December 6, 2023 18:05 1d 4h 22m 7s
Minimise and fix upstream ZIO's problem Specification #46: Commit 8c19682 pushed by dwijnand
December 6, 2023 15:42 1m 25s infer
infer
December 6, 2023 15:42 1m 25s
Minimise and fix upstream ZIO's problem Dotty #820: Commit 8c19682 pushed by dwijnand
December 6, 2023 15:42 1d 6h 45m 13s infer
infer
December 6, 2023 15:42 1d 6h 45m 13s
Handle TupleXXL in match analysis Specification #45: Commit e56b75e pushed by dwijnand
December 6, 2023 13:29 1m 21s match-analyse-tuplexxl
match-analyse-tuplexxl
December 6, 2023 13:29 1m 21s