Skip to content

Actions: WSQS/blog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,201 workflow runs
1,201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Step 1, Enable GitHub Pages Step 1, Enable GitHub Pages #339: by WSQS
6s
6s
fix: add note for Automatic synthesis of typed Λ-programs on term alg… Step 0, Welcome #339: Commit 2973e9e pushed by WSQS
9s main
main
9s
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
pages build and deployment pages-build-deployment #344: by WSQS
47s main
main
47s
Step 1, Enable GitHub Pages Step 1, Enable GitHub Pages #338: by WSQS
8s
8s
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 Automatic synthesis of typed Λ-programs on term algebras Step 0, Welcome #338: Commit 2a64a6b pushed by WSQS
7s main
main
7s
pages build and deployment pages-build-deployment #343: by WSQS
40s main
main
40s
Step 1, Enable GitHub Pages Step 1, Enable GitHub Pages #337: by WSQS
8s
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 0, Welcome #337: Commit ad97308 pushed by WSQS
7s main
main
7s
pages build and deployment pages-build-deployment #342: by WSQS
38s main
main
38s
Step 1, Enable GitHub Pages Step 1, Enable GitHub Pages #336: by WSQS
6s
6s
add note of TAPL Step 5, Merge your pull request #336: Commit ff94937 pushed by WSQS
8s main
main
8s
add note of TAPL Step 0, Welcome #336: Commit ff94937 pushed by WSQS
9s main
main
9s
pages build and deployment pages-build-deployment #341: by WSQS
45s main
main
45s
Step 1, Enable GitHub Pages Step 1, Enable GitHub Pages #335: by WSQS
8s
8s
Add friend link Step 0, Welcome #335: Commit 92dc8d0 pushed by WSQS
7s main
main
7s
Add friend link Step 5, Merge your pull request #335: Commit 92dc8d0 pushed by WSQS
6s main
main
6s
pages build and deployment pages-build-deployment #340: by WSQS
49s main
main
49s
Step 1, Enable GitHub Pages Step 1, Enable GitHub Pages #334: by WSQS
7s
7s
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 0, Welcome #334: Commit f2eafe3 pushed by WSQS
7s main
main
7s
pages build and deployment pages-build-deployment #339: by WSQS
44s main
main
44s
github_actions in /. - Update #1140257537 Dependabot Updates #17: by dependabot bot
31s main
main
31s