Skip to content

Actions: odersky/odersky.github.io

Actions

Step 5, Merge your pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5-merge-your-pull-request.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from odersky/add-navigation Step 5, Merge your pull request #32: Commit d2962ae pushed by odersky
April 12, 2024 12:48 16s main
main
April 12, 2024 12:48 16s
Merge pull request #22 from odersky/add-banner Step 5, Merge your pull request #31: Commit 16ef072 pushed by odersky
April 12, 2024 12:39 13s main
main
April 12, 2024 12:39 13s
Merge pull request #21 from odersky/add-banner Step 5, Merge your pull request #30: Commit 4232c98 pushed by odersky
April 12, 2024 12:34 14s main
main
April 12, 2024 12:34 14s
Merge pull request #20 from odersky/add-banner Step 5, Merge your pull request #29: Commit 676e393 pushed by odersky
April 12, 2024 12:29 12s main
main
April 12, 2024 12:29 12s
Merge pull request #19 from odersky/add-banner Step 5, Merge your pull request #28: Commit 87eb084 pushed by odersky
April 12, 2024 12:25 10s main
main
April 12, 2024 12:25 10s
Merge pull request #18 from odersky/add-banner Step 5, Merge your pull request #27: Commit d1f8935 pushed by odersky
April 12, 2024 12:23 16s main
main
April 12, 2024 12:23 16s
Merge pull request #17 from odersky/add-banner Step 5, Merge your pull request #26: Commit d56aaa6 pushed by odersky
April 12, 2024 12:13 1m 28s main
main
April 12, 2024 12:13 1m 28s
Merge pull request #16 from odersky/add-banner Step 5, Merge your pull request #25: Commit 887ac22 pushed by odersky
April 12, 2024 12:05 16s main
main
April 12, 2024 12:05 16s
Merge pull request #15 from odersky/lean-scala-5 Step 5, Merge your pull request #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 5, Merge your pull request #23: Commit ecb8708 pushed by odersky
April 12, 2024 11:42 13s main
main
April 12, 2024 11:42 13s
Merge pull request #13 from odersky/lean-scala-3 Step 5, Merge your pull request #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 5, Merge your pull request #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 5, Merge your pull request #20: Commit 3db7890 pushed by odersky
April 12, 2024 11:20 16s main
main
April 12, 2024 11:20 16s
Step 5, Merge your pull request Step 5, Merge your pull request #19: by odersky
April 12, 2024 09:30 22s main
main
April 12, 2024 09:30 22s
Merge pull request #9 from odersky/lean-scala-3 Step 5, Merge your pull request #18: Commit 5150a8b pushed by odersky
April 12, 2024 09:15 13s main
main
April 12, 2024 09:15 13s
Merge pull request #8 from odersky/lean-scala-2 Step 5, Merge your pull request #17: Commit 5372ca8 pushed by odersky
April 12, 2024 08:28 10s main
main
April 12, 2024 08:28 10s
Merge pull request #7 from odersky/lean-scala Step 5, Merge your pull request #16: Commit 62d3124 pushed by odersky
April 11, 2024 16:43 13s main
main
April 11, 2024 16:43 13s
Merge pull request #6 from odersky/lean-scala Step 5, Merge your pull request #15: Commit b730dd1 pushed by odersky
April 11, 2024 16:34 13s main
main
April 11, 2024 16:34 13s
Merge pull request #5 from odersky/lean-scala Step 5, Merge your pull request #14: Commit 85bc79c pushed by odersky
April 11, 2024 15:47 16s main
main
April 11, 2024 15:47 16s
Merge pull request #4 from alexandru/main Step 5, Merge your pull request #13: Commit 226763d pushed by odersky
January 16, 2024 14:25 12s main
main
January 16, 2024 14:25 12s
move article to _posts folder Step 5, Merge your pull request #12: Commit de0ae9f pushed by odersky
January 16, 2024 09:04 15s main
main
January 16, 2024 09:04 15s
fixed wording Step 5, Merge your pull request #11: Commit d0e4f39 pushed by odersky
January 14, 2024 22:28 10s main
main
January 14, 2024 22:28 10s
fixed wording Step 5, Merge your pull request #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 5, Merge your pull request #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 5, Merge your pull request #8: Commit 107993d pushed by odersky
January 14, 2024 20:53 12s main
main
January 14, 2024 20:53 12s