Skip to content

Actions: objectionary/proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
326 workflow runs
326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ignore pdd #11: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 46s master
master
March 2, 2025 05:57 46s
reuse reuse #5: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 1m 17s master
master
February 25, 2025 05:11 1m 17s
reuse actionlint #10: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 1m 21s master
master
February 25, 2025 05:11 1m 21s
reuse xcop #10: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 1m 38s master
master
February 25, 2025 05:11 1m 38s
reuse copyrights #10: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 1m 46s master
master
February 25, 2025 05:11 1m 46s
reuse Lean (build) #223: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 9m 38s master
master
February 25, 2025 05:11 9m 38s
reuse yamllint #10: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 1m 31s master
master
February 25, 2025 05:11 1m 31s
reuse pdd #10: Commit e03a531 pushed by yegor256
February 25, 2025 05:11 2m 1s master
master
February 25, 2025 05:11 2m 1s
REUSE config copyrights #9: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 45s master
master
February 23, 2025 09:15 45s
REUSE config reuse #4: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 34s master
master
February 23, 2025 09:15 34s
REUSE config Lean (build) #222: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 8m 24s master
master
February 23, 2025 09:15 8m 24s
REUSE config actionlint #9: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 22s master
master
February 23, 2025 09:15 22s
REUSE config xcop #9: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 56s master
master
February 23, 2025 09:15 56s
REUSE config pdd #9: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 33s master
master
February 23, 2025 09:15 33s
REUSE config yamllint #9: Commit 5bf4bcc pushed by yegor256
February 23, 2025 09:15 40s master
master
February 23, 2025 09:15 40s
MIT removed yamllint #8: Commit a195754 pushed by yegor256
February 23, 2025 05:04 6m 50s master
master
February 23, 2025 05:04 6m 50s
MIT removed Lean (build) #221: Commit a195754 pushed by yegor256
February 23, 2025 05:04 14m 21s master
master
February 23, 2025 05:04 14m 21s
MIT removed copyrights #8: Commit a195754 pushed by yegor256
February 23, 2025 05:04 6m 23s master
master
February 23, 2025 05:04 6m 23s
MIT removed reuse #3: Commit a195754 pushed by yegor256
February 23, 2025 05:04 6m 40s master
master
February 23, 2025 05:04 6m 40s
MIT removed pdd #8: Commit a195754 pushed by yegor256
February 23, 2025 05:04 6m 49s master
master
February 23, 2025 05:04 6m 49s
MIT removed xcop #8: Commit a195754 pushed by yegor256
February 23, 2025 05:04 6m 37s master
master
February 23, 2025 05:04 6m 37s
MIT removed actionlint #8: Commit a195754 pushed by yegor256
February 23, 2025 05:04 6m 45s master
master
February 23, 2025 05:04 6m 45s
spdx Lean (build) #220: Commit 2ecc9d3 pushed by yegor256
February 23, 2025 04:26 7m 59s master
master
February 23, 2025 04:26 7m 59s
spdx xcop #7: Commit 2ecc9d3 pushed by yegor256
February 23, 2025 04:26 1m 31s master
master
February 23, 2025 04:26 1m 31s
spdx yamllint #7: Commit 2ecc9d3 pushed by yegor256
February 23, 2025 04:26 1m 36s master
master
February 23, 2025 04:26 1m 36s