Skip to content

Actions: Infinity-Type-Cafe/ntype-cafe-summer-school

Actions

Build and Depoly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: typo in 2023-06-01-introduction2023.md (#3) Build and Depoly #220: Commit e5bc26e pushed by ice1000
June 16, 2024 20:11 42s main
main
June 16, 2024 20:11 42s
fix: typo in 2023-06-01-introduction2023.md Build and Depoly #219: Pull request #3 opened by Alan-Liang
June 16, 2024 15:25 46s Alan-Liang:patch-1
Alan-Liang:patch-1
June 16, 2024 15:25 46s
update stlc.pdf Build and Depoly #218: Commit 676721c pushed by AliasQli
March 6, 2024 11:19 54s main
main
March 6, 2024 11:19 54s
Update README.md Build and Depoly #217: Commit e1d1c7e pushed by kangxyz
February 5, 2024 06:10 47s main
main
February 5, 2024 06:10 47s