Skip to content

Actions: crei/cslib

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
165 workflow runs
165 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
Remove fromData. Check PR title for commit convention #165: Pull request #171 opened by crei
7s no_from_data
no_from_data
7s
Utm Check PR title for commit convention #164: Pull request #159 synchronize by crei
10s utm
utm
10s
Utm Check PR title for commit convention #163: Pull request #159 synchronize by crei
8s utm
utm
8s
Utm Check PR title for commit convention #162: Pull request #159 synchronize by crei
9s utm
utm
9s
feat(Computability/MultiTapeTM): input/output tape predicates Check PR title for commit convention #161: Pull request #162 synchronize by SamuelSchlesinger
Action required SamuelSchlesinger:multi-tape-tm
SamuelSchlesinger:multi-tape-tm
Action required
Lemmas about atPath. Check PR title for commit convention #160: Pull request #169 opened by crei
10s atPath_lemmas
atPath_lemmas
10s
feat(Computability/MultiTapeTM): input/output tape predicates Check PR title for commit convention #159: Pull request #162 synchronize by SamuelSchlesinger
Action required SamuelSchlesinger:multi-tape-tm
SamuelSchlesinger:multi-tape-tm
Action required
Head position. Check PR title for commit convention #158: Pull request #168 synchronize by crei
15s head_position
head_position
15s
Head position. Check PR title for commit convention #157: Pull request #168 opened by crei
8s head_position
head_position
8s
At path Check PR title for commit convention #156: Pull request #166 synchronize by crei
12s at_path
at_path
12s
At path Check PR title for commit convention #155: Pull request #166 opened by crei
7s at_path
at_path
7s
Fix build. Check PR title for commit convention #154: Pull request #165 edited by crei
12s fix_build
fix_build
12s
Fix build. Check PR title for commit convention #153: Pull request #165 opened by crei
6s fix_build
fix_build
6s
Utm Check PR title for commit convention #152: Pull request #159 synchronize by crei
15s utm
utm
15s
Utm Check PR title for commit convention #151: Pull request #159 synchronize by crei
8s utm
utm
8s
Utm Check PR title for commit convention #150: Pull request #159 synchronize by crei
7s utm
utm
7s
feat(Computability/MultiTapeTM): input/output tape predicates Check PR title for commit convention #149: Pull request #162 opened by SamuelSchlesinger
9s SamuelSchlesinger:multi-tape-tm
SamuelSchlesinger:multi-tape-tm
9s
Function view for tapes. Check PR title for commit convention #148: Pull request #160 synchronize by crei
4s tape_as_fun
tape_as_fun
4s
Function view for tapes. Check PR title for commit convention #147: Pull request #160 opened by crei
6s tape_as_fun
tape_as_fun
6s
Utm Check PR title for commit convention #146: Pull request #159 synchronize by crei
7s utm
utm
7s
Generalize right Check PR title for commit convention #145: Pull request #158 synchronize by crei
7s generalize_right
generalize_right
7s
Utm Check PR title for commit convention #144: Pull request #159 synchronize by crei
9s utm
utm
9s
Utm Check PR title for commit convention #143: Pull request #159 opened by crei
7s utm
utm
7s
Generalize right Check PR title for commit convention #142: Pull request #158 synchronize by crei
8s generalize_right
generalize_right
8s
Generalize right Check PR title for commit convention #141: Pull request #158 opened by crei
6s generalize_right
generalize_right
6s