Skip to content

Actions: google-deepmind/formal-conjectures

Actions

Check Copyright Header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check_copyright_header.yml
2,865 workflow runs
2,865 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix erdos_454 misformalization Check Copyright Header #4018: Pull request #1898 synchronize by mzhorvath1
9s mzhorvath1:fix-misformalization
mzhorvath1:fix-misformalization
9s
feat: add Green's Open Problem 82 Check Copyright Header #4017: Pull request #1897 synchronize by krrish175-byte
9s krrish175-byte:fix/issue-1737-greens-problem-82
krrish175-byte:fix/issue-1737-greens-problem-82
9s
Fix erdos_454 misformalization Check Copyright Header #4016: Pull request #1898 opened by mzhorvath1
10s mzhorvath1:fix-misformalization
mzhorvath1:fix-misformalization
10s
feat(Paper): conjecture about cardinality of Lindelöf spaces Check Copyright Header #4015: Pull request #1810 synchronize by felixpernegger
9s felixpernegger:lindelofcardinality
felixpernegger:lindelofcardinality
9s
feat(Paper): conjecture about cardinality of Lindelöf spaces Check Copyright Header #4014: Pull request #1810 synchronize by felixpernegger
9s felixpernegger:lindelofcardinality
felixpernegger:lindelofcardinality
9s
feat(ErdosProblems): 1137 Check Copyright Header #4013: Pull request #1886 synchronize by danielchin
7s danielchin:erdos-1137
danielchin:erdos-1137
7s
feat(ErdosProblems): 912 Check Copyright Header #4012: Pull request #1887 synchronize by CoolRmal
7s CoolRmal:912
CoolRmal:912
7s
feat(OEIS): A063880 Check Copyright Header #4011: Pull request #1877 synchronize by rwst
8s rwst:i1455
rwst:i1455
8s
feat(ErdosProblems): 912 Check Copyright Header #4010: Pull request #1887 synchronize by CoolRmal
10s CoolRmal:912
CoolRmal:912
10s
feat(ErdosProblems): 912 Check Copyright Header #4009: Pull request #1887 synchronize by CoolRmal
8s CoolRmal:912
CoolRmal:912
8s
feat(OEIS): A067220 Check Copyright Header #4008: Pull request #1878 synchronize by rwst
6s rwst:i1456
rwst:i1456
6s
feat(OEIS): A087719 Check Copyright Header #4007: Pull request #1894 synchronize by rwst
8s rwst:i1460
rwst:i1460
8s
feat(OEIS): A038552 Check Copyright Header #4006: Pull request #1893 synchronize by rwst
12s rwst:i1459
rwst:i1459
12s
feat(OEIS): A038552 Check Copyright Header #4005: Pull request #1893 synchronize by rwst
9s rwst:i1459
rwst:i1459
9s
feat(OEIS): A087719 Check Copyright Header #4004: Pull request #1894 synchronize by rwst
11s rwst:i1460
rwst:i1460
11s
feat(OEIS): A087719 Check Copyright Header #4003: Pull request #1894 synchronize by rwst
10s rwst:i1460
rwst:i1460
10s
feat(GreensOpenProblems): 72 / No-3-in-line problem Check Copyright Header #4002: Pull request #1884 synchronize by felixpernegger
10s felixpernegger:no-k-in-line
felixpernegger:no-k-in-line
10s
feat: add Green's Open Problem 82 Check Copyright Header #4001: Pull request #1897 opened by krrish175-byte
12s krrish175-byte:fix/issue-1737-greens-problem-82
krrish175-byte:fix/issue-1737-greens-problem-82
12s
feat(OEIS): A087719 Check Copyright Header #4000: Pull request #1894 synchronize by rwst
9s rwst:i1460
rwst:i1460
9s
chore: bump mathlib to v4.27.0 Check Copyright Header #3999: Pull request #1896 synchronize by YaelDillies
10s bump
bump
10s
chore: bump mathlib to v4.27.0 Check Copyright Header #3998: Pull request #1896 synchronize by YaelDillies
9s bump
bump
9s
chore: bump mathlib to v4.27.0 Check Copyright Header #3997: Pull request #1896 synchronize by YaelDillies
9s bump
bump
9s
chore: bump mathlib to v4.27.0 Check Copyright Header #3996: Pull request #1896 opened by YaelDillies
10s bump
bump
10s
chore: Remove zero padding for OEIS Check Copyright Header #3995: Pull request #1895 synchronize by felixpernegger
9s felixpernegger:zeropadding
felixpernegger:zeropadding
9s
chore: Remove zero padding for OEIS Check Copyright Header #3994: Pull request #1895 synchronize by felixpernegger
7s felixpernegger:zeropadding
felixpernegger:zeropadding
7s