Skip to content

Actions: SorryDB/Checklist

Actions

Delete Hint Comments and Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update_bare_checklist.yml
6 workflow runs
6 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
fix: upgrade lean to 4.21.0 Delete Hint Comments and Push #6: Commit 8f8c0a4 pushed by austinletson
11s main
main
11s
Merge branch 'main' of github.com:SorryDB/Checklist Delete Hint Comments and Push #5: Commit 889fca7 pushed by austinletson
8s main
main
8s
Update README.md Delete Hint Comments and Push #4: Commit ba42ddf pushed by LennyTaelman
8s main
main
8s
fix: provide write permissions Delete Hint Comments and Push #3: Commit 1bf96c1 pushed by austinletson
9s main
main
9s
fix: remove fetch Delete Hint Comments and Push #2: Commit 1ba4412 pushed by austinletson
8s main
main
8s
feat: add delete_hint_comments.sh and bare checklist workflow Delete Hint Comments and Push #1: Commit b013f92 pushed by austinletson
15s main
main
15s