Skip to content

Actions: Arithmon/.github

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Sync watch Sync watch #8: Scheduled
10s main
main
10s
Sync watch Sync watch #7: Scheduled
21s main
main
21s
Sync watch Sync watch #6: Scheduled
22s main
main
22s
Sync watch Sync watch #5: Scheduled
12s main
main
12s
Sync watch Sync watch #4: Scheduled
23s main
main
23s
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
Sync watch Sync watch #3: Scheduled
13s main
main
13s
Sync watch Sync watch #2: Scheduled
11s main
main
11s
Sync watch Sync watch #1: Manually run by gift-framework
13s main
main
13s
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