8000 Workflow runs · js2357/carleson · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: js2357/carleson

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix sorry for Lemma 10.0.2 -- task 127 (#446) .github/workflows/push.yml #25: Commit 6b5ca42 pushed by js2357
July 11, 2025 06:05 45m 26s master
master
July 11, 2025 06:05 45m 26s
feat: remove eLpNorm_add_le (#439) .github/workflows/push.yml #24: Commit cf5e278 pushed by js2357
July 9, 2025 17:51 44m 20s master
master
July 9, 2025 17:51 44m 20s
remove some commented sorry's and actual sorries (#436) .github/workflows/push.yml #23: Commit e49e224 pushed by js2357
July 8, 2025 22:01 44m 2s master
master
July 8, 2025 22:01 44m 2s
Proof of Lemma 11.3.1 (#431) .github/workflows/push.yml #22: Commit 42757f7 pushed by js2357
July 7, 2025 18:47 43m 58s master
master
July 7, 2025 18:47 43m 58s
chore(RealInterpolation): fix sorries in Misc.lean and `Minkowksi.l… .github/workflows/push.yml #21: Commit 6e8a15e pushed by js2357
July 5, 2025 02:28 43m 42s master
master
July 5, 2025 02:28 43m 42s
chore(RealInterpolation): fix sorries in Misc.lean and `Minkowksi.l… Create Release #8: Commit 6e8a15e pushed by js2357
July 5, 2025 02:28 12s master
master
July 5, 2025 02:28 12s
chore: bump docgen-action with partial bug fix .github/workflows/push.yml #20: Commit b325497 pushed by js2357
June 28, 2025 22:43 45m 37s master
master
June 28, 2025 22:43 45m 37s
Function.support supports dot notation (#414) .github/workflows/push.yml #19: Commit 8390c75 pushed by js2357
June 25, 2025 08:34 47m 3s master
master
June 25, 2025 08:34 47m 3s
chore: golf lebesgue_differentiation (#410) .github/workflows/push.yml #18: Commit d1b88e7 pushed by js2357
June 24, 2025 06:47 44m 1s master
master
June 24, 2025 06:47 44m 1s
Lemma 11.3.4 (#408) .github/workflows/push.yml #17: Commit e4c6e71 pushed by js2357
June 24, 2025 04:51 45m 51s master
master
June 24, 2025 04:51 45m 51s
Lemma 10.2.4 (#393) .github/workflows/push.yml #16: Commit 214653b pushed by js2357
June 21, 2025 02:51 45m 18s master
master
June 21, 2025 02:51 45m 18s
chore: change dependabot frequency from monthly to weekly (#392) .github/workflows/push.yml #15: Commit 7061a7d pushed by js2357
June 18, 2025 05:33 44m 5s master
master
June 18, 2025 05:33 44m 5s
Rationalise ProofData (#389) .github/workflows/push.yml #14: Commit 7397663 pushed by js2357
June 14, 2025 20:12 43m 22s master
master
June 14, 2025 20:12 43m 22s
ci: Use docgen-action to build the website. (#388) .github/workflows/push.yml #13: Commit 86037b2 pushed by js2357
June 13, 2025 07:38 44m 3s master
master
June 13, 2025 07:38 44m 3s
Fix definition of GeneralCase (partial progress on Lemma 10.2.5) (#386) .github/workflows/push.yml #12: Commit 7f3aec8 pushed by js2357
June 12, 2025 03:35 44m 30s master
master
June 12, 2025 03:35 44m 30s
Prove part of Lemma 10.2.5 (#384) Create Release #7: Commit 2e4817c pushed by js2357
June 10, 2025 20:55 35s master
master
June 10, 2025 20:55 35s
Prove part of Lemma 10.2.5 (#384) .github/workflows/push.yml #11: Commit 2e4817c pushed by js2357
June 10, 2025 20:55 46m 20s master
master
June 10, 2025 20:55 46m 20s
Lemma 7.3.2 (#254) .github/workflows/push.yml #10: Commit ee78b45 pushed by js2357
March 11, 2025 19:14 34m 22s master
master
March 11, 2025 19:14 34m 22s
Lemma 7.3.2 (#254) Create Release #6: Commit ee78b45 pushed by js2357
March 11, 2025 19:14 8s master
master
March 11, 2025 19:14 8s
Lemma 7.5.7 (#242) .github/workflows/push.yml #9: Commit 40b9e0b pushed by js2357
February 25, 2025 23:47 31m 18s master
master
February 25, 2025 23:47 31m 18s
fix definition of Row .github/workflows/push.yml #8: Commit 1e3e6ab pushed by js2357
February 16, 2025 23:54 30m 32s master
master
February 16, 2025 23:54 30m 32s
fix definition of Row Create Release #5: Commit 1e3e6ab pushed by js2357
February 16, 2025 23:54 10s master
master
February 16, 2025 23:54 10s
fix docbuild Create Release #4: Commit 8fa476a pushed by js2357
February 9, 2025 21:57 11s master
master
February 9, 2025 21:57 11s
fix docbuild .github/workflows/push.yml #7: Commit 8fa476a pushed by js2357
February 9, 2025 21:57 29m 47s master
master
February 9, 2025 21:57 29m 47s
cleanup in moderate_scale_change (#226) .github/workflows/push.yml #6: Commit 4a9db63 pushed by js2357
January 31, 2025 01:17 29m 30s master
master
January 31, 2025 01:17 29m 30s
0