Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: Agda-zh/PLFA-zh

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix botched merge
CI #313: Commit 956940b pushed by fangyi-zhou
25m 40s dev
dev
Fix package lock
CI #312: Commit 524cb54 pushed by fangyi-zhou
2m 13s dev
dev