Skip to content

Actions: pks-os/scala3

Actions

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dotty Dotty #134: Scheduled
January 24, 2025 03:15 Pending main
main
January 24, 2025 03:15 Pending
Merge remote-tracking branch 'upstream/main' Dotty #133: Commit bef9293 pushed by pkskpro
January 24, 2025 02:53 Queued main
main
January 24, 2025 02:53 Queued
Dotty Dotty #132: Scheduled
January 23, 2025 03:14 11h 13m 34s main
main
January 23, 2025 03:14 11h 13m 34s
Merge remote-tracking branch 'upstream/main' Dotty #131: Commit cab40e3 pushed by pkskpro
January 23, 2025 03:06 8m 19s main
main
January 23, 2025 03:06 8m 19s
Merge remote-tracking branch 'upstream/main' Dotty #130: Commit c73934f pushed by pkskpro
January 22, 2025 06:15 20h 51m 22s main
main
January 22, 2025 06:15 20h 51m 22s
Dotty Dotty #129: Scheduled
January 22, 2025 03:16 2h 58m 46s main
main
January 22, 2025 03:16 2h 58m 46s
Merge remote-tracking branch 'upstream/main' Dotty #128: Commit 2b39941 pushed by pkskpro
January 21, 2025 09:52 2d 4h 35m 46s main
main
January 21, 2025 09:52 2d 4h 35m 46s
Dotty Dotty #127: Scheduled
January 21, 2025 03:14 6h 37m 51s main
main
January 21, 2025 03:14 6h 37m 51s
Merge remote-tracking branch 'upstream/main' Dotty #126: Commit c5b6f1d pushed by pkskpro
January 20, 2025 05:34 1d 12h 37m 58s main
main
January 20, 2025 05:34 1d 12h 37m 58s
Dotty Dotty #125: Scheduled
January 20, 2025 03:16 2h 17m 42s main
main
January 20, 2025 03:16 2h 17m 42s
Merge remote-tracking branch 'upstream/main' Dotty #124: Commit c4ea1bb pushed by pkskpro
January 19, 2025 05:58 21h 17m 52s main
main
January 19, 2025 05:58 21h 17m 52s
Dotty Dotty #123: Scheduled
January 19, 2025 03:17 2h 41m 25s main
main
January 19, 2025 03:17 2h 41m 25s
Merge remote-tracking branch 'upstream/main' Dotty #122: Commit 27b9888 pushed by pkskpro
January 18, 2025 04:39 2d 9h 49m 17s main
main
January 18, 2025 04:39 2d 9h 49m 17s
Dotty Dotty #121: Scheduled
January 18, 2025 03:13 1h 25m 41s main
main
January 18, 2025 03:13 1h 25m 41s
Merge remote-tracking branch 'upstream/main' Dotty #120: Commit 5ba6bea pushed by pkskpro
January 17, 2025 04:19 1d 13h 52m 1s main
main
January 17, 2025 04:19 1d 13h 52m 1s
Dotty Dotty #119: Scheduled
January 17, 2025 03:15 1h 4m 17s main
main
January 17, 2025 03:15 1h 4m 17s
Merge remote-tracking branch 'upstream/main' Dotty #118: Commit b8ae396 pushed by pkskpro
January 16, 2025 06:16 20h 58m 49s main
main
January 16, 2025 06:16 20h 58m 49s
Dotty Dotty #117: Scheduled
January 16, 2025 03:15 3h 1m 57s main
main
January 16, 2025 03:15 3h 1m 57s
Merge remote-tracking branch 'upstream/main' Dotty #116: Commit 03f163b pushed by pkskpro
January 15, 2025 05:52 2d 8h 36m 21s main
main
January 15, 2025 05:52 2d 8h 36m 21s
Dotty Dotty #115: Scheduled
January 15, 2025 03:14 2h 37m 38s main
main
January 15, 2025 03:14 2h 37m 38s
Merge remote-tracking branch 'upstream/main' Dotty #114: Commit 2bfa150 pushed by pkskpro
January 14, 2025 10:32 1d 7h 39m 20s main
main
January 14, 2025 10:32 1d 7h 39m 20s
Dotty Dotty #113: Scheduled
January 14, 2025 03:13 7h 19m 13s main
main
January 14, 2025 03:13 7h 19m 13s
Dotty Dotty #112: Scheduled
January 13, 2025 03:23 23h 50m 29s main
main
January 13, 2025 03:23 23h 50m 29s
Merge remote-tracking branch 'upstream/main' Dotty #111: Commit ca4d0dd pushed by pkskpro
January 13, 2025 02:39 1d 11h 48m 25s main
main
January 13, 2025 02:39 1d 11h 48m 25s
Dotty Dotty #110: Scheduled
January 12, 2025 03:24 14h 47m 40s main
main
January 12, 2025 03:24 14h 47m 40s