Skip to content

Actions: Antoine-dSG/frieze_patterns

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

completed Latex with proofs section 1 .github/workflows/blueprint.yml #55: Commit 6f4d03d pushed by Antoine-dSG
August 13, 2024 09:15 18m 59s master
master
August 13, 2024 09:15 18m 59s
update blueprint dependencies .github/workflows/blueprint.yml #54: Commit 97381ea pushed by Antoine-dSG
August 13, 2024 05:59 18m 33s master
master
August 13, 2024 05:59 18m 33s
changed width to height for formalisation .github/workflows/blueprint.yml #53: Commit 7ef3260 pushed by Antoine-dSG
August 13, 2024 05:32 18m 40s master
master
August 13, 2024 05:32 18m 40s
updated \lean tags .github/workflows/blueprint.yml #52: Commit d65202e pushed by Antoine-dSG
August 13, 2024 04:13 18m 8s master
master
August 13, 2024 04:13 18m 8s
Update section3.lean .github/workflows/blueprint.yml #51: Commit 1ead228 pushed by Antoine-dSG
August 13, 2024 03:12 18m 25s master
master
August 13, 2024 03:12 18m 25s
Update section2.lean .github/workflows/blueprint.yml #50: Commit 8517f65 pushed by Antoine-dSG
August 13, 2024 03:09 1m 20s master
master
August 13, 2024 03:09 1m 20s
attempt to make \lean work .github/workflows/blueprint.yml #49: Commit ac7ce81 pushed by Antoine-dSG
August 13, 2024 03:06 1m 20s master
master
August 13, 2024 03:06 1m 20s
Updated Latex .github/workflows/blueprint.yml #48: Commit 7556563 pushed by Antoine-dSG
August 12, 2024 10:42 19m 42s master
master
August 12, 2024 10:42 19m 42s
Merge pull request #3 from JonCheah/master .github/workflows/blueprint.yml #47: Commit 5aee490 pushed by Antoine-dSG
August 7, 2024 09:11 18m 25s master
master
August 7, 2024 09:11 18m 25s
Update section1.lean .github/workflows/blueprint.yml #46: Commit c9cef5e pushed by Antoine-dSG
August 7, 2024 08:50 19m 17s master
master
August 7, 2024 08:50 19m 17s
Update section1.lean .github/workflows/blueprint.yml #45: Commit 96374ff pushed by Antoine-dSG
August 6, 2024 10:39 20m 5s master
master
August 6, 2024 10:39 20m 5s
updated homepage .github/workflows/blueprint.yml #44: Commit 338cb36 pushed by Antoine-dSG
August 5, 2024 03:31 18m 37s master
master
August 5, 2024 03:31 18m 37s
Update blueprint.yml .github/workflows/blueprint.yml #43: Commit 629e117 pushed by Antoine-dSG
August 4, 2024 10:56 19m 42s master
master
August 4, 2024 10:56 19m 42s
attempt fix of website .github/workflows/blueprint.yml #42: Commit 11a62be pushed by Antoine-dSG
August 4, 2024 10:30 17m 57s master
master
August 4, 2024 10:30 17m 57s
Update section1.lean .github/workflows/blueprint.yml #41: Commit e129eae pushed by Antoine-dSG
July 30, 2024 08:57 19m 2s master
master
July 30, 2024 08:57 19m 2s
cleaned up some proofs .github/workflows/blueprint.yml #40: Commit b0ee03c pushed by Antoine-dSG
July 30, 2024 08:27 19m 14s master
master
July 30, 2024 08:27 19m 14s
finished translation proof, up to N-arithmetic .github/workflows/blueprint.yml #39: Commit 4fc1e01 pushed by Antoine-dSG
July 30, 2024 08:09 18m 56s master
master
July 30, 2024 08:09 18m 56s
added statement of translation invariant .github/workflows/blueprint.yml #38: Commit ff63c11 pushed by Antoine-dSG
July 29, 2024 12:19 18m 59s master
master
July 29, 2024 12:19 18m 59s
started glide proof .github/workflows/blueprint.yml #37: Commit 28e547c pushed by Antoine-dSG
July 29, 2024 11:26 18m 49s master
master
July 29, 2024 11:26 18m 49s
added statement of glide symmetry .github/workflows/blueprint.yml #36: Commit a5b16ba pushed by Antoine-dSG
July 29, 2024 07:58 18m 56s master
master
July 29, 2024 07:58 18m 56s
finished continuant proofs .github/workflows/blueprint.yml #35: Commit eaa4249 pushed by Antoine-dSG
July 29, 2024 06:56 19m 1s master
master
July 29, 2024 06:56 19m 1s
updated chapter1.tex .github/workflows/blueprint.yml #34: Commit 46ed399 pushed by Antoine-dSG
July 26, 2024 11:01 18m 46s master
master
July 26, 2024 11:01 18m 46s
fix imports bug .github/workflows/blueprint.yml #33: Commit 6a6b5d2 pushed by Antoine-dSG
July 26, 2024 10:36 18m 16s master
master
July 26, 2024 10:36 18m 16s
fixed imports .github/workflows/blueprint.yml #32: Commit 286169f pushed by Antoine-dSG
July 26, 2024 10:28 1m 9s master
master
July 26, 2024 10:28 1m 9s
latex update .github/workflows/blueprint.yml #31: Commit 456376c pushed by Antoine-dSG
July 26, 2024 10:15 1m 23s master
master
July 26, 2024 10:15 1m 23s