Skip to content

Actions: sgouezel/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

one more leanok .github/workflows/push_pr.yml #13: Commit 6dca0ed pushed by sgouezel
December 15, 2023 07:12 5m 40s SG_improved2
SG_improved2
December 15, 2023 07:12 5m 40s
fix blueprint .github/workflows/push_pr.yml #12: Commit 2261b97 pushed by sgouezel
December 15, 2023 07:09 5m 38s SG_improved2
SG_improved2
December 15, 2023 07:09 5m 38s
Merge remote-tracking branch 'upstream/master' into SG_improved2 .github/workflows/push_pr.yml #11: Commit ca29f4f pushed by sgouezel
December 14, 2023 19:30 5m 30s SG_improved2
SG_improved2
December 14, 2023 19:30 5m 30s
complete proof, modulo one sublemma .github/workflows/push_pr.yml #10: Commit 43796ae pushed by sgouezel
December 14, 2023 19:29 5m 40s SG_improved2
SG_improved2
December 14, 2023 19:29 5m 40s
work on second half .github/workflows/push_pr.yml #9: Commit 0cfc7a4 pushed by sgouezel
December 14, 2023 11:22 5m 43s SG_improved2
SG_improved2
December 14, 2023 11:22 5m 43s
tweak into right form .github/workflows/push_pr.yml #8: Commit 66cef39 pushed by sgouezel
December 13, 2023 19:41 5m 25s SG_improved2
SG_improved2
December 13, 2023 19:41 5m 25s
start on symmetry .github/workflows/push_pr.yml #7: Commit 2975c2d pushed by sgouezel
December 13, 2023 15:50 5m 29s SG_improved2
SG_improved2
December 13, 2023 15:50 5m 29s
merge master .github/workflows/push_pr.yml #6: Commit 658d524 pushed by sgouezel
December 13, 2023 13:22 2m 47s SG_improved2
SG_improved2
December 13, 2023 13:22 2m 47s
progress .github/workflows/push_pr.yml #5: Commit 7b9dc64 pushed by sgouezel
December 13, 2023 12:51 2m 44s SG_improved2
SG_improved2
December 13, 2023 12:51 2m 44s
progress .github/workflows/push_pr.yml #4: Commit f3d3505 pushed by sgouezel
December 12, 2023 19:33 5m 25s SG_improved2
SG_improved2
December 12, 2023 19:33 5m 25s
progress on second part .github/workflows/push_pr.yml #3: Commit 15df0d9 pushed by sgouezel
December 12, 2023 15:45 5m 23s SG_improved2
SG_improved2
December 12, 2023 15:45 5m 23s
progress .github/workflows/push_pr.yml #2: Commit 1530b97 pushed by sgouezel
December 12, 2023 11:16 5m 31s SG_improved2
SG_improved2
December 12, 2023 11:16 5m 31s
Merge remote-tracking branch 'upstream/master' into SG_improved2 .github/workflows/push_pr.yml #1: Commit 59e67fa pushed by sgouezel
December 12, 2023 08:06 5m 34s SG_improved2
SG_improved2
December 12, 2023 08:06 5m 34s
Bump mathlib .github/workflows/push.yml #22: Commit 81571e5 pushed by sgouezel
December 11, 2023 07:54 19m 30s master
master
December 11, 2023 07:54 19m 30s
Adding new lean files to main PFR.lean .github/workflows/push.yml #21: Commit ba9d416 pushed by sgouezel
December 10, 2023 17:43 21m 33s master
master
December 10, 2023 17:43 21m 33s
Merge pull request #134 from llllvvuu/feat/infinite_pi .github/workflows/push.yml #20: Commit a5ee16d pushed by sgouezel
December 8, 2023 14:34 26m 9s master
master
December 8, 2023 14:34 26m 9s
complete proof of tuple independence lemma .github/workflows/push.yml #19: Commit 3b097f3 pushed by sgouezel
December 5, 2023 07:53 4m 37s master
master
December 5, 2023 07:53 4m 37s
Another approach .github/workflows/push.yml #18: Commit fe510ea pushed by sgouezel
December 4, 2023 15:32 5m 10s master
master
December 4, 2023 15:32 5m 10s
Merge branch 'master' of https://github.com/teorth/pfr .github/workflows/push.yml #17: Commit 4e3d5a0 pushed by sgouezel
November 28, 2023 17:30 25m 15s master
master
November 28, 2023 17:30 25m 15s
Remove Fintype.instMeasurableSpace .github/workflows/push.yml #16: Commit b94162e pushed by sgouezel
November 28, 2023 09:38 24m 34s master
master
November 28, 2023 09:38 24m 34s
Fix typo .github/workflows/push.yml #15: Commit 4158aba pushed by sgouezel
November 28, 2023 06:25 24m 7s master
master
November 28, 2023 06:25 24m 7s
Merge branch 'master' of https://github.com/teorth/pfr .github/workflows/push.yml #14: Commit 936b575 pushed by sgouezel
November 27, 2023 15:40 24m 25s master
master
November 27, 2023 15:40 24m 25s
Merge pull request #83 from sgouezel/SG_exists_unif .github/workflows/push.yml #13: Commit 24cfc61 pushed by sgouezel
November 26, 2023 17:18 23m 44s master
master
November 26, 2023 17:18 23m 44s
Merge pull request #69 from Paul-Lez/master .github/workflows/push.yml #12: Commit 204b819 pushed by sgouezel
November 24, 2023 18:09 25m 3s master
master
November 24, 2023 18:09 25m 3s
fix lean typo .github/workflows/push.yml #11: Commit 0897060 pushed by sgouezel
November 24, 2023 06:15 22m 54s master
master
November 24, 2023 06:15 22m 54s