Skip to content

Pull requests: mmasdeu/topologygame

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Create level12.lean
#14 by annacanalsm was merged Feb 23, 2022 Loading…
Test
#13 by mmasdeu was merged Feb 14, 2022 Loading…
Test
#12 by mmasdeu was closed Feb 8, 2022 Loading…
Use self-hosted web editor.
#11 by mmasdeu was merged Feb 4, 2022 Loading…
Added environment variables to MakeGame action.
#10 by Eloitor was merged Feb 3, 2022 Loading…
Fixed action to build both branches.
#9 by Eloitor was merged Feb 3, 2022 Loading…
Modified Github actions
#8 by Eloitor was merged Feb 2, 2022 Loading…
Changed name of parameter and disabled automatic builds.
#7 by Eloitor was merged Feb 1, 2022 Loading…
Finite intersections basic definitions
#5 by annacanalsm was merged Nov 30, 2021 Loading…
Update level1.lean
#2 by natacast was merged Jul 20, 2021 Loading…
ProTip! Adding no:label will show everything without a label.