Skip to content

Actions: dwijnand/scala3

Actions

Specification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spec.yml
228 workflow runs
228 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drop refinements in approxParent (refineUsingParent) Specification #28: Commit a10e9f5 pushed by dwijnand
October 21, 2023 10:15 1m 34s unreachable-refined
unreachable-refined
October 21, 2023 10:15 1m 34s
Add dropping refinements to instantiateToSubType's approxParent Specification #27: Commit f4ab02b pushed by dwijnand
October 21, 2023 10:13 2m 0s unreachable-refined
unreachable-refined
October 21, 2023 10:13 2m 0s
Tweak convertible implicits fix Specification #26: Commit a175525 pushed by dwijnand
October 20, 2023 07:52 2m 2s tweak-convertible-implicits-fix
tweak-convertible-implicits-fix
October 20, 2023 07:52 2m 2s
Fallback erasing term references Specification #25: Commit f35261d pushed by dwijnand
October 20, 2023 07:21 1m 40s unwiden-structural-fallout
unwiden-structural-fallout
October 20, 2023 07:21 1m 40s
Tweak convertible implicits fix Specification #24: Commit 731ec42 pushed by dwijnand
October 19, 2023 14:05 1m 45s tweak-convertible-implicits-fix
tweak-convertible-implicits-fix
October 19, 2023 14:05 1m 45s
Tweak convertible implicits fix Specification #23: Commit 1972cac pushed by dwijnand
October 19, 2023 14:04 2m 4s tweak-convertible-implicits-fix
tweak-convertible-implicits-fix
October 19, 2023 14:04 2m 4s
Tweak convertible implicits fix Specification #22: Commit d397a54 pushed by dwijnand
October 19, 2023 13:55 1m 54s tweak-convertible-implicits-fix
tweak-convertible-implicits-fix
October 19, 2023 13:55 1m 54s
Fix widen types before checking an implicit view exists Specification #21: Commit 8a2773f pushed by dwijnand
October 18, 2023 14:12 1m 47s SubType_refl-wrecking-havoc
SubType_refl-wrecking-havoc
October 18, 2023 14:12 1m 47s
Fix unreachable warning in deeply nested sealed hierarchy Specification #20: Commit 9460b7d pushed by dwijnand
October 17, 2023 10:35 1m 45s nested-nested-nested-in-generic-parent
nested-nested-nested-in-generic-parent
October 17, 2023 10:35 1m 45s
Make sure we don't construct invalid types if they're parameterised. Specification #19: Commit 7ccba02 pushed by dwijnand
October 17, 2023 09:44 1m 40s nested-nested-nested-in-generic-parent
nested-nested-nested-in-generic-parent
October 17, 2023 09:44 1m 40s
Fix legitimate onnx-scala bounds check Specification #18: Commit b97343a pushed by dwijnand
October 16, 2023 08:45 1m 42s match-type-check-bounds
match-type-check-bounds
October 16, 2023 08:45 1m 42s
Add some very basic GADT constraints from type cases Specification #17: Commit 538a8bd pushed by dwijnand
October 15, 2023 21:02 1m 47s match-type-check-bounds
match-type-check-bounds
October 15, 2023 21:02 1m 47s
Fix Singleton handling of compile-time operations Specification #16: Commit 75e7c41 pushed by dwijnand
October 13, 2023 17:37 1m 36s match-type-check-bounds
match-type-check-bounds
October 13, 2023 17:37 1m 36s
Fix back onnx-scala Specification #15: Commit 630c6dc pushed by dwijnand
October 13, 2023 16:11 1m 39s match-type-check-bounds
match-type-check-bounds
October 13, 2023 16:11 1m 39s
Fix the tparam bounds of exported inherited classes Specification #14: Commit 640e6c8 pushed by dwijnand
October 12, 2023 10:47 1m 40s export-nested-class
export-nested-class
October 12, 2023 10:47 1m 40s
Fixup onnx-scala Specification #13: Commit 223f17a pushed by dwijnand
October 12, 2023 10:46 1m 41s match-type-check-bounds
match-type-check-bounds
October 12, 2023 10:46 1m 41s
Propagate hard vars when replacing Constraint params Specification #12: Commit cc55175 pushed by dwijnand
October 12, 2023 10:12 1m 45s no-widen-hard-union
no-widen-hard-union
October 12, 2023 10:12 1m 45s
Fixup onnx-scala Specification #11: Commit 6642d65 pushed by dwijnand
October 6, 2023 13:04 1m 42s match-type-check-bounds
match-type-check-bounds
October 6, 2023 13:04 1m 42s
Fix bounds checks Specification #10: Commit 1a849d6 pushed by dwijnand
October 6, 2023 13:02 1m 35s match-type-check-bounds
match-type-check-bounds
October 6, 2023 13:02 1m 35s
Fixup onnx-scala Specification #9: Commit b623b51 pushed by dwijnand
October 6, 2023 12:54 1m 47s match-type-check-bounds
match-type-check-bounds
October 6, 2023 12:54 1m 47s
Fix CompletionScalaCliSuite Specification #8: Commit 6276d6e pushed by dwijnand
October 6, 2023 10:14 1m 36s export-nested-class
export-nested-class
October 6, 2023 10:14 1m 36s
Fix the tparam bounds of exported inherited classes Specification #7: Commit b44edb5 pushed by dwijnand
October 6, 2023 08:56 1m 39s export-nested-class
export-nested-class
October 6, 2023 08:56 1m 39s
Fixup onnx-scala Specification #6: Commit b038f3f pushed by dwijnand
October 6, 2023 08:39 1m 32s match-type-check-bounds
match-type-check-bounds
October 6, 2023 08:39 1m 32s
rm Specification #5: Commit 2ccb39c pushed by dwijnand
October 5, 2023 17:34 2m 18s match-type-check-bounds
match-type-check-bounds
October 5, 2023 17:34 2m 18s
Fix the tparam bounds of exported inherited classes Specification #4: Commit 68905c1 pushed by dwijnand
October 4, 2023 13:31 1m 55s export-nested-class
export-nested-class
October 4, 2023 13:31 1m 55s