Skip to content

Actions: WSQS/blog

Actions

Step 5, Merge your pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: add note for Automatic synthesis of typed Λ-programs on term alg… Step 5, Merge your pull request #339: Commit 2973e9e pushed by WSQS
7s main
main
7s
add note of Automatic synthesis of typed Λ-programs on term algebras Step 5, Merge your pull request #338: Commit 2a64a6b pushed by WSQS
8s main
main
8s
add note of TAPL Step 5, Merge your pull request #337: Commit ad97308 pushed by WSQS
7s main
main
7s
add note of TAPL Step 5, Merge your pull request #336: Commit ff94937 pushed by WSQS
8s main
main
8s
Add friend link Step 5, Merge your pull request #335: Commit 92dc8d0 pushed by WSQS
6s main
main
6s
add note of TAPL Step 5, Merge your pull request #334: Commit f2eafe3 pushed by WSQS
6s main
main
6s
add note of TAPL Step 5, Merge your pull request #333: Commit 94e1f14 pushed by WSQS
8s main
main
8s
add note of TAPL Step 5, Merge your pull request #332: Commit 45a647d pushed by WSQS
7s main
main
7s
add note of TAPL Step 5, Merge your pull request #331: Commit 7f9d1eb pushed by WSQS
8s main
main
8s
add note of TAPL Step 5, Merge your pull request #330: Commit d80b179 pushed by WSQS
11s main
main
11s
fix: add reference to note Step 5, Merge your pull request #329: Commit db60116 pushed by WSQS
12s main
main
12s
add note of early history of smalltalk Step 5, Merge your pull request #328: Commit 62c987e pushed by WSQS
13s main
main
13s
add note of early history of smalltalk Step 5, Merge your pull request #327: Commit 6b9564b pushed by WSQS
9s main
main
9s
rename tag Step 5, Merge your pull request #326: Commit e1f4083 pushed by WSQS
10s main
main
10s
add note of paper Step 5, Merge your pull request #325: Commit ef1134e pushed by WSQS
7s main
main
7s
add note of paper Step 5, Merge your pull request #324: Commit 5e56c88 pushed by WSQS
9s main
main
9s
finish plai Step 5, Merge your pull request #323: Commit 8b7dd62 pushed by WSQS
7s main
main
7s
add note for plai Step 5, Merge your pull request #322: Commit 424e530 pushed by WSQS
6s main
main
6s
add note for plai Step 5, Merge your pull request #321: Commit 839afc6 pushed by WSQS
9s main
main
9s
fix:add poem Step 5, Merge your pull request #320: Commit 810bee3 pushed by WSQS
10s main
main
10s
add note for plai Step 5, Merge your pull request #319: Commit 2329d67 pushed by WSQS
9s main
main
9s
add note for plai Step 5, Merge your pull request #318: Commit 43eb1dd pushed by WSQS
9s main
main
9s
add one poem Step 5, Merge your pull request #317: Commit 0534119 pushed by WSQS
8s main
main
8s
add note for plai Step 5, Merge your pull request #316: Commit 89df2b2 pushed by WSQS
6s main
main
6s
add one poem Step 5, Merge your pull request #315: Commit e31db52 pushed by WSQS
10s main
main
10s