Skip to content

Actions: Arithmon/.github

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
19 workflow runs
19 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
Profile: the founding framework paper is now under peer review at Sci… Lint #19: Commit 407203b pushed by gift-framework
12s main
main
12s
SSRN record of the Sieve method paper: 10.2139/ssrn.7206359 Lint #18: Commit f3fe80d pushed by gift-framework
14s main
main
14s
PhilPapers record of the Sieve method paper (Preregistration Requires… Lint #17: Commit 4c7efb0 pushed by gift-framework
15s main
main
15s
profile: co-authorship of the OPH technical paper (Mueller et al., Ph… Lint #16: Commit e6d1640 pushed by gift-framework
11s main
main
11s
Profile: add K3 to the map and the instruments; Eddington framing ali… Lint #15: Commit d8bb164 pushed by gift-framework
12s main
main
12s
Profile: 14 axioms after the K7-Lean discharge; editorial status corr… Lint #14: Commit 78ae009 pushed by gift-framework
9s main
main
9s
Give the doorway the evidence a suspicious reader needs Lint #13: Commit 8627348 pushed by gift-framework
8s main
main
8s
Update README.md Lint #12: Commit 01008ff pushed by gift-framework
16s main
main
16s
chore(naming): footer canonique -> K7 (formerly GIFT) + CONTRIBUTING … Lint #11: Commit f983987 pushed by gift-framework
9s main
main
9s
docs: liens core -> Arithmon/K7-Lean (profile, sync_check) Lint #10: Commit a71a27b pushed by gift-framework
9s main
main
9s
docs: liens GIFT -> Arithmon/K7 (profile, issue template, sync_check) Lint #9: Commit f12a365 pushed by gift-framework
12s main
main
12s
profile: add five-piece map and reader-paths; expand CONTRIBUTING wit… Lint #8: Commit 8e419da pushed by gift-framework
20s main
main
20s
profile + sync watch: register arithmon/lean as the fourth instrument Lint #7: Commit d04cd88 pushed by gift-framework
9s main
main
9s
profile: add the instruments section (Program, Atlas, Sieve with free… Lint #6: Commit 2edbd14 pushed by gift-framework
14s main
main
14s
Update README.md Lint #5: Commit 9124e57 pushed by gift-framework
11s main
main
11s
Update README.md Lint #4: Commit d65f8a5 pushed by gift-framework
10s main
main
10s
vestibule: Arithmon wordmark banner as hero + fix broken image path Lint #3: Commit 71f5a36 pushed by gift-framework
11s main
main
11s
Add org-level community health files and reusable lint workflow Lint #2: Commit e768767 pushed by gift-framework
9s main
main
9s
Add prose-gate CI (linter + workflow), purge em dashes from profile Lint #1: Commit dc3ec2a pushed by gift-framework
13s main
main
13s