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

typo comment typos #2: Commit 6761b60 pushed by yegor256
May 7, 2025 18:56 9s master
master
May 7, 2025 18:56 9s
typo comment actionlint #14: Commit 6761b60 pushed by yegor256
May 7, 2025 18:56 12s master
master
May 7, 2025 18:56 12s
typo comment xcop #14: Commit 6761b60 pushed by yegor256
May 7, 2025 18:56 29s master
master
May 7, 2025 18:56 29s
pages build and deployment pages-build-deployment #30: by github-pages bot
May 7, 2025 17:27 47s gh-pages
gh-pages
May 7, 2025 17:27 47s
typos typos #1: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 10s master
master
May 7, 2025 17:17 10s
typos pdd #13: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 24s master
master
May 7, 2025 17:17 24s
typos actionlint #13: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 10s master
master
May 7, 2025 17:17 10s
typos Lean (build) #226: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 9m 56s master
master
May 7, 2025 17:17 9m 56s
typos copyrights #13: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 12s master
master
May 7, 2025 17:17 12s
typos reuse #8: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 17s master
master
May 7, 2025 17:17 17s
typos xcop #13: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 30s master
master
May 7, 2025 17:17 30s
typos yamllint #13: Commit 66621a6 pushed by yegor256
May 7, 2025 17:17 11s master
master
May 7, 2025 17:17 11s
reuse copyrights #12: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 19s master
master
March 10, 2025 13:32 19s
reuse yamllint #12: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 19s master
master
March 10, 2025 13:32 19s
reuse reuse #7: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 20s master
master
March 10, 2025 13:32 20s
reuse actionlint #12: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 16s master
master
March 10, 2025 13:32 16s
reuse pdd #12: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 26s master
master
March 10, 2025 13:32 26s
reuse Lean (build) #225: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 7m 56s master
master
March 10, 2025 13:32 7m 56s
reuse xcop #12: Commit 6fad12f pushed by yegor256
March 10, 2025 13:32 29s master
master
March 10, 2025 13:32 29s
ignore yamllint #11: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 52s master
master
March 2, 2025 05:57 52s
ignore Lean (build) #224: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 8m 22s master
master
March 2, 2025 05:57 8m 22s
ignore reuse #6: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 1m 6s master
master
March 2, 2025 05:57 1m 6s
ignore actionlint #11: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 58s master
master
March 2, 2025 05:57 58s
ignore copyrights #11: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 41s master
master
March 2, 2025 05:57 41s
ignore xcop #11: Commit 2a6524a pushed by yegor256
March 2, 2025 05:57 55s master
master
March 2, 2025 05:57 55s