Skip to content

Actions: WojciechMazur/dotty

Actions

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
510 workflow runs
510 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dotty Dotty #680: Scheduled
February 24, 2025 03:16 10s main
main
February 24, 2025 03:16 10s
Dotty Dotty #679: Scheduled
February 23, 2025 03:15 9s main
main
February 23, 2025 03:15 9s
Merge branch 'main' into feature/preview Dotty #678: Commit 7356a2c pushed by WojciechMazur
February 22, 2025 21:46 Queued feature/preview
feature/preview
February 22, 2025 21:46 Queued
Dotty Dotty #677: Scheduled
February 22, 2025 03:09 11s main
main
February 22, 2025 03:09 11s
change wildcard type parameter from _ to ? Dotty #676: Commit 680ea03 pushed by WojciechMazur
February 21, 2025 11:05 1d 4h 19m 2s sync/lrs
sync/lrs
February 21, 2025 11:05 1d 4h 19m 2s
Update pattern-matching.md Dotty #675: Commit 2e466df pushed by WojciechMazur
February 21, 2025 10:54 11m 5s sync/lrs
sync/lrs
February 21, 2025 10:54 11m 5s
Dotty Dotty #674: Scheduled
February 21, 2025 03:13 10s main
main
February 21, 2025 03:13 10s
Fix more typos Dotty #673: Commit 12526fb pushed by WojciechMazur
February 20, 2025 16:59 1d 0h 6m 11s feature/preview
feature/preview
February 20, 2025 16:59 1d 0h 6m 11s
Fix typos and address review sugesions Dotty #672: Commit 18ac691 pushed by WojciechMazur
February 20, 2025 16:56 3m 38s feature/preview
feature/preview
February 20, 2025 16:56 3m 38s
Dotty Dotty #671: Scheduled
February 20, 2025 03:12 12s main
main
February 20, 2025 03:12 12s
Dotty Dotty #670: Scheduled
February 19, 2025 03:12 10s main
main
February 19, 2025 03:12 10s
Add an -Yimplicit-as-given flag to easily test changes in the ecosystem. Dotty #669: Commit 5bb0cad pushed by WojciechMazur
February 18, 2025 17:02 1d 0h 3m 42s 3.3.5+22580
3.3.5+22580
February 18, 2025 17:02 1d 0h 3m 42s
Dotty Dotty #668: Scheduled
February 18, 2025 03:10 12s main
main
February 18, 2025 03:10 12s
Dotty Dotty #667: Scheduled
February 17, 2025 03:14 11s main
main
February 17, 2025 03:14 11s
Dotty Dotty #666: Scheduled
February 16, 2025 03:15 11s main
main
February 16, 2025 03:15 11s
Dotty Dotty #665: Scheduled
February 15, 2025 03:10 11s main
main
February 15, 2025 03:10 11s
Dotty Dotty #664: Scheduled
February 14, 2025 03:11 11s main
main
February 14, 2025 03:11 11s
Dotty Dotty #663: Scheduled
February 13, 2025 03:11 23s main
main
February 13, 2025 03:11 23s
Dotty Dotty #662: Scheduled
February 12, 2025 03:11 11s main
main
February 12, 2025 03:11 11s
Dotty Dotty #661: Scheduled
February 11, 2025 03:12 11s main
main
February 11, 2025 03:12 11s
Dotty Dotty #660: Scheduled
February 10, 2025 03:13 11s main
main
February 10, 2025 03:13 11s
Dotty Dotty #659: Scheduled
February 9, 2025 03:12 11s main
main
February 9, 2025 03:12 11s
Dotty Dotty #658: Scheduled
February 8, 2025 03:09 11s main
main
February 8, 2025 03:09 11s
Dotty Dotty #657: Scheduled
February 7, 2025 03:12 11s main
main
February 7, 2025 03:12 11s
Dotty Dotty #656: Scheduled
February 6, 2025 03:11 11s main
main
February 6, 2025 03:11 11s