Skip to content

Actions: odersky/odersky.github.io

Actions

Step 0, Start

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
0-start.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from odersky/add-navigation Step 0, Start #32: Commit d2962ae pushed by odersky
April 12, 2024 12:48 19s main
main
April 12, 2024 12:48 19s
Merge pull request #22 from odersky/add-banner Step 0, Start #31: Commit 16ef072 pushed by odersky
April 12, 2024 12:39 12s main
main
April 12, 2024 12:39 12s
Merge pull request #21 from odersky/add-banner Step 0, Start #30: Commit 4232c98 pushed by odersky
April 12, 2024 12:34 15s main
main
April 12, 2024 12:34 15s
Merge pull request #20 from odersky/add-banner Step 0, Start #29: Commit 676e393 pushed by odersky
April 12, 2024 12:29 11s main
main
April 12, 2024 12:29 11s
Merge pull request #19 from odersky/add-banner Step 0, Start #28: Commit 87eb084 pushed by odersky
April 12, 2024 12:25 12s main
main
April 12, 2024 12:25 12s
Merge pull request #18 from odersky/add-banner Step 0, Start #27: Commit d1f8935 pushed by odersky
April 12, 2024 12:23 20s main
main
April 12, 2024 12:23 20s
Merge pull request #17 from odersky/add-banner Step 0, Start #26: Commit d56aaa6 pushed by odersky
April 12, 2024 12:13 13s main
main
April 12, 2024 12:13 13s
Merge pull request #16 from odersky/add-banner Step 0, Start #25: Commit 887ac22 pushed by odersky
April 12, 2024 12:05 13s main
main
April 12, 2024 12:05 13s
Merge pull request #15 from odersky/lean-scala-5 Step 0, Start #24: Commit bd1fcb2 pushed by odersky
April 12, 2024 11:49 12s main
main
April 12, 2024 11:49 12s
Merge pull request #14 from odersky/lean-scala-4 Step 0, Start #23: Commit ecb8708 pushed by odersky
April 12, 2024 11:42 11s main
main
April 12, 2024 11:42 11s
Merge pull request #13 from odersky/lean-scala-3 Step 0, Start #22: Commit d7381de pushed by odersky
April 12, 2024 11:37 14s main
main
April 12, 2024 11:37 14s
Merge pull request #12 from odersky/lean-scala-3 Step 0, Start #21: Commit 04eeb85 pushed by odersky
April 12, 2024 11:33 13s main
main
April 12, 2024 11:33 13s
Merge pull request #11 from odersky/lean-scala-3 Step 0, Start #20: Commit 3db7890 pushed by odersky
April 12, 2024 11:20 14s main
main
April 12, 2024 11:20 14s
Step 0, Start Step 0, Start #19: by odersky
April 12, 2024 09:30 24s main
main
April 12, 2024 09:30 24s
Merge pull request #9 from odersky/lean-scala-3 Step 0, Start #18: Commit 5150a8b pushed by odersky
April 12, 2024 09:15 15s main
main
April 12, 2024 09:15 15s
Merge pull request #8 from odersky/lean-scala-2 Step 0, Start #17: Commit 5372ca8 pushed by odersky
April 12, 2024 08:28 16s main
main
April 12, 2024 08:28 16s
Merge pull request #7 from odersky/lean-scala Step 0, Start #16: Commit 62d3124 pushed by odersky
April 11, 2024 16:43 12s main
main
April 11, 2024 16:43 12s
Merge pull request #6 from odersky/lean-scala Step 0, Start #15: Commit b730dd1 pushed by odersky
April 11, 2024 16:34 12s main
main
April 11, 2024 16:34 12s
Merge pull request #5 from odersky/lean-scala Step 0, Start #14: Commit 85bc79c pushed by odersky
April 11, 2024 15:47 17s main
main
April 11, 2024 15:47 17s
Merge pull request #4 from alexandru/main Step 0, Start #13: Commit 226763d pushed by odersky
January 16, 2024 14:25 15s main
main
January 16, 2024 14:25 15s
move article to _posts folder Step 0, Start #12: Commit de0ae9f pushed by odersky
January 16, 2024 09:04 12s main
main
January 16, 2024 09:04 12s
fixed wording Step 0, Start #11: Commit d0e4f39 pushed by odersky
January 14, 2024 22:28 13s main
main
January 14, 2024 22:28 13s
fixed wording Step 0, Start #10: Commit 90f3cdf pushed by odersky
January 14, 2024 22:24 15s main
main
January 14, 2024 22:24 15s
first real blog post Step 0, Start #9: Commit e8c9853 pushed by odersky
January 14, 2024 20:56 10s main
main
January 14, 2024 20:56 10s
first real blog post Step 0, Start #8: Commit 107993d pushed by odersky
January 14, 2024 20:53 14s main
main
January 14, 2024 20:53 14s