Skip to content

Actions: cfr42/prooftrees

Actions

Automatic Checks for prooftrees dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prooftrees-autochecks-dev.yml
65 workflow runs
65 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #65: Scheduled
8m 42s main
main
8m 42s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #64: Scheduled
8m 25s main
main
8m 25s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #63: Scheduled
8m 44s main
main
8m 44s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #62: Scheduled
8m 30s main
main
8m 30s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #61: Scheduled
8m 53s main
main
8m 53s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #60: Scheduled
8m 46s main
main
8m 46s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #59: Scheduled
9m 23s main
main
9m 23s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #58: Scheduled
8m 46s main
main
8m 46s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #57: Scheduled
8m 30s main
main
8m 30s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #56: Scheduled
8m 21s main
main
8m 21s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #55: Scheduled
8m 39s main
main
8m 39s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #54: Scheduled
7m 49s main
main
7m 49s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #53: Scheduled
9m 24s main
main
9m 24s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #52: Scheduled
8m 39s main
main
8m 39s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #51: Scheduled
8m 27s main
main
8m 27s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #50: Scheduled
8m 23s main
main
8m 23s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #49: Scheduled
8m 34s main
main
8m 34s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #48: Scheduled
8m 31s main
main
8m 31s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #47: Scheduled
8m 44s main
main
8m 44s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #46: Scheduled
8m 37s main
main
8m 37s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #45: Scheduled
9m 16s main
main
9m 16s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #44: Scheduled
8m 17s main
main
8m 17s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #43: Scheduled
9m 14s main
main
9m 14s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #42: Scheduled
9m 3s main
main
9m 3s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #41: Scheduled
10m 8s main
main
10m 8s