Skip to content

Actions: HoTT/Coq-HoTT

Actions

Whitespace Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: add whitespace check Whitespace Check #43: Pull request #1881 synchronize by Alizter
March 6, 2024 23:19 15s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 23:19 15s
ci: add whitespace check Whitespace Check #42: Pull request #1881 synchronize by Alizter
March 6, 2024 23:14 16s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 23:14 16s
ci: add whitespace check Whitespace Check #41: Pull request #1881 synchronize by Alizter
March 6, 2024 23:11 16s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 23:11 16s
ci: add whitespace check Whitespace Check #40: Pull request #1881 synchronize by Alizter
March 6, 2024 23:07 12s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 23:07 12s
ci: add whitespace check Whitespace Check #39: Pull request #1881 synchronize by Alizter
March 6, 2024 23:02 13s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 23:02 13s
ci: add whitespace check Whitespace Check #38: Pull request #1881 synchronize by Alizter
March 6, 2024 22:56 14s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:56 14s
ci: add whitespace check Whitespace Check #37: Pull request #1881 synchronize by Alizter
March 6, 2024 22:53 15s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:53 15s
ci: add whitespace check Whitespace Check #36: Pull request #1881 synchronize by Alizter
March 6, 2024 22:50 13s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:50 13s
ci: add whitespace check Whitespace Check #35: Pull request #1881 synchronize by Alizter
March 6, 2024 22:48 11s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:48 11s
ci: add whitespace check Whitespace Check #34: Pull request #1881 synchronize by Alizter
March 6, 2024 22:47 17s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:47 17s
ci: add whitespace check Whitespace Check #33: Pull request #1881 synchronize by Alizter
March 6, 2024 22:25 15s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:25 15s
ci: add whitespace check Whitespace Check #32: Pull request #1881 synchronize by Alizter
March 6, 2024 22:06 16s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:06 16s
ci: add whitespace check Whitespace Check #31: Pull request #1881 synchronize by Alizter
March 6, 2024 22:04 17s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:04 17s
ci: add whitespace check Whitespace Check #30: Pull request #1881 synchronize by Alizter
March 6, 2024 22:03 12s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:03 12s
ci: add whitespace check Whitespace Check #29: Pull request #1881 synchronize by Alizter
March 6, 2024 22:00 12s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 22:00 12s
ci: add whitespace check Whitespace Check #28: Pull request #1881 synchronize by Alizter
March 6, 2024 21:57 15s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 21:57 15s
ci: add whitespace check Whitespace Check #27: Pull request #1881 synchronize by Alizter
March 6, 2024 21:57 12s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 21:57 12s
ci: add whitespace check Whitespace Check #26: Pull request #1881 synchronize by Alizter
March 6, 2024 21:55 13s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 21:55 13s
ci: add whitespace check Whitespace Check #25: Pull request #1881 synchronize by Alizter
March 6, 2024 21:49 11s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 21:49 11s
ci: add whitespace check Whitespace Check #24: Pull request #1881 synchronize by Alizter
March 6, 2024 21:41 15s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 21:41 15s
ci: add whitespace check Whitespace Check #23: Pull request #1881 synchronize by Alizter
March 6, 2024 18:51 14s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 18:51 14s
ci: add whitespace check Whitespace Check #22: Pull request #1881 synchronize by Alizter
March 6, 2024 18:30 12s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 18:30 12s
ci: add whitespace check Whitespace Check #21: Pull request #1881 synchronize by Alizter
March 6, 2024 18:30 11s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 18:30 11s
ci: add whitespace check Whitespace Check #20: Pull request #1881 synchronize by Alizter
March 6, 2024 18:29 10s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 18:29 10s
ci: add whitespace check Whitespace Check #19: Pull request #1881 synchronize by Alizter
March 6, 2024 18:28 12s Alizter:ps/rr/ci__add_whitespace_check
Alizter:ps/rr/ci__add_whitespace_check
March 6, 2024 18:28 12s