Skip to content

Actions: THU-KEG/VerIF

Actions

e2e_digit_completion

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e_digit_completion.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:THU-KEG/VerIF into main e2e_digit_completion #3: Commit 233a4b8 pushed by h-peng17
1d 23h 19m 41s main
main
1d 23h 19m 41s
delete unecessary files e2e_digit_completion #2: Commit b273e37 pushed by h-peng17
21m 23s main
main
21m 23s
init commit e2e_digit_completion #1: Commit 9d6c7e7 pushed by h-peng17
1d 0h 0m 1s main
main
1d 0h 0m 1s