Skip to content

Actions: cfr42/ltx-logic

Actions

Automatic Checks for prooftrees dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prooftrees-autochecks-dev.yml
143 workflow runs
143 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 #143: Scheduled
11m 40s main
main
11m 40s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #142: Scheduled
19s main
main
19s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #141: Scheduled
9m 10s main
main
9m 10s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #140: Scheduled
9m 26s main
main
9m 26s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #139: Scheduled
9m 32s main
main
9m 32s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #138: Scheduled
9m 15s main
main
9m 15s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #137: Scheduled
9m 0s main
main
9m 0s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #136: Scheduled
9m 27s main
main
9m 27s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #135: Scheduled
7m 54s main
main
7m 54s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #134: Scheduled
9m 0s main
main
9m 0s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #133: Scheduled
8m 53s main
main
8m 53s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #132: Scheduled
9m 59s main
main
9m 59s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #131: Scheduled
9m 20s main
main
9m 20s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #130: Scheduled
11m 2s main
main
11m 2s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #129: Scheduled
9m 7s main
main
9m 7s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #128: Scheduled
9m 35s main
main
9m 35s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #127: Scheduled
7m 37s main
main
7m 37s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #126: Scheduled
9m 8s main
main
9m 8s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #125: Scheduled
9m 8s main
main
9m 8s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #124: Scheduled
9m 22s main
main
9m 22s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #123: Scheduled
12m 43s main
main
12m 43s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #122: Scheduled
9m 30s main
main
9m 30s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #121: Scheduled
6m 34s main
main
6m 34s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #120: Scheduled
16m 34s main
main
16m 34s
Automatic Checks for prooftrees dev Automatic Checks for prooftrees dev #119: Scheduled
8m 0s main
main
8m 0s