Skip to content

Actions: MichaelChirico/potools

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix heading hierarchy (#314)
lint #17: Commit 0dc5292 pushed by MichaelChirico
June 21, 2024 12:58 3m 7s master
June 21, 2024 12:58 3m 7s
Fix heading hierarchy
lint #16: Pull request #314 opened by hadley
June 21, 2024 10:30 2m 34s heading-hierarchy
June 21, 2024 10:30 2m 34s
Get correct message_source for deprecated messages (#311)
lint #15: Commit 8802189 pushed by MichaelChirico
March 27, 2024 00:27 1m 21s master
March 27, 2024 00:27 1m 21s
Get correct message_source for deprecated messages
lint #14: Pull request #311 synchronize by MichaelChirico
March 27, 2024 00:22 2m 17s get-msg-deprecated
March 27, 2024 00:22 2m 17s
Fix spurious explicit return() usage (#312)
lint #13: Commit 5e0557f pushed by MichaelChirico
March 27, 2024 00:21 3m 3s master
March 27, 2024 00:21 3m 3s
Fix spurious explicit return() usage
lint #12: Pull request #312 synchronize by MichaelChirico
March 26, 2024 23:41 2m 0s lint-update
March 26, 2024 23:41 2m 0s
Fix spurious explicit return() usage
lint #11: Pull request #312 opened by MichaelChirico
March 26, 2024 20:12 3m 5s lint-update
March 26, 2024 20:12 3m 5s