Skip to content

Actions: kasiaMarek/dotty

Actions

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
322 workflow runs
322 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Dotty Dotty #322: Scheduled
July 23, 2024 03:17 8s main
main
July 23, 2024 03:17 8s
Dotty Dotty #321: Scheduled
July 22, 2024 03:16 8s main
main
July 22, 2024 03:16 8s
Dotty Dotty #320: Scheduled
July 21, 2024 03:15 8s main
main
July 21, 2024 03:15 8s
Dotty Dotty #319: Scheduled
July 20, 2024 03:15 9s main
main
July 20, 2024 03:15 9s
Dotty Dotty #318: Scheduled
July 19, 2024 03:16 8s main
main
July 19, 2024 03:16 8s
Dotty Dotty #317: Scheduled
July 18, 2024 03:16 9s main
main
July 18, 2024 03:16 9s
Dotty Dotty #316: Scheduled
July 17, 2024 03:16 8s main
main
July 17, 2024 03:16 8s
deal with unsafe nulls and fix sorting Dotty #315: Commit ae2a31f pushed by kasiaMarek
July 16, 2024 10:58 1d 4h 7m 43s metals-backport1
metals-backport1
July 16, 2024 10:58 1d 4h 7m 43s
Dotty Dotty #314: Scheduled
July 16, 2024 03:18 9s main
main
July 16, 2024 03:18 9s
feat: add value completions for union types Dotty #313: Commit 2f9187a pushed by kasiaMarek
July 15, 2024 16:17 1d 3h 17m 7s metals-backport1
metals-backport1
July 15, 2024 16:17 1d 3h 17m 7s
Dotty Dotty #312: Scheduled
July 15, 2024 03:17 8s main
main
July 15, 2024 03:17 8s
Dotty Dotty #311: Scheduled
July 14, 2024 03:16 8s main
main
July 14, 2024 03:16 8s
Dotty Dotty #310: Scheduled
July 13, 2024 03:14 8s main
main
July 13, 2024 03:14 8s
Dotty Dotty #309: Scheduled
July 12, 2024 03:15 8s main
main
July 12, 2024 03:15 8s
Dotty Dotty #308: Scheduled
July 11, 2024 03:17 8s main
main
July 11, 2024 03:17 8s
fix: don't use color codes for pattern match code action Dotty #307: Commit b33e4f3 pushed by kasiaMarek
July 10, 2024 10:00 1d 5h 5m 45s metals-i6549
metals-i6549
July 10, 2024 10:00 1d 5h 5m 45s
Dotty Dotty #306: Scheduled
July 10, 2024 03:15 8s main
main
July 10, 2024 03:15 8s
Dotty Dotty #305: Scheduled
July 9, 2024 03:15 8s main
main
July 9, 2024 03:15 8s
fix: don't use color codes for pattern match code action Dotty #304: Commit e5d59ba pushed by kasiaMarek
July 8, 2024 11:50 1d 3h 15m 3s metals-i6549
metals-i6549
July 8, 2024 11:50 1d 3h 15m 3s
Dotty Dotty #303: Scheduled
July 8, 2024 03:16 8s main
main
July 8, 2024 03:16 8s
Dotty Dotty #302: Scheduled
July 7, 2024 03:15 8s main
main
July 7, 2024 03:15 8s
Dotty Dotty #301: Scheduled
July 6, 2024 03:16 8s main
main
July 6, 2024 03:16 8s
Dotty Dotty #300: Scheduled
July 5, 2024 03:14 8s main
main
July 5, 2024 03:14 8s
Dotty Dotty #299: Scheduled
July 4, 2024 03:16 8s main
main
July 4, 2024 03:16 8s
feat: infer expected type Dotty #298: Commit cc7374d pushed by kasiaMarek
July 3, 2024 13:21 1d 1h 44m 37s infer-expected-type
infer-expected-type
July 3, 2024 13:21 1d 1h 44m 37s