Skip to content

Actions: LizBonn/RamificationGroup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

upper .github/workflows/build.yaml #49: Commit 3a15673 pushed by Akwardbro
August 15, 2024 07:33 2m 11s master
master
August 15, 2024 07:33 2m 11s
Merge branch 'master' of https://github.com/LizBonn/RamificationGroup .github/workflows/build.yaml #48: Commit 0fb2a8e pushed by Prowler99
August 14, 2024 14:22 2m 22s master
master
August 14, 2024 14:22 2m 22s
Merge branch 'master' of https://github.com/LizBonn/RamificationGroup .github/workflows/build.yaml #47: Commit 923f57a pushed by Akwardbro
August 8, 2024 11:25 2m 12s master
master
August 8, 2024 11:25 2m 12s
move instances about 𝒪[] to a new file .github/workflows/build.yaml #46: Commit 769a0fd pushed by Prowler99
August 7, 2024 02:26 2m 7s master
master
August 7, 2024 02:26 2m 7s
update to v4.11.0-rc1 .github/workflows/build.yaml #45: Commit dad8702 pushed by Prowler99
August 6, 2024 13:58 2m 23s master
master
August 6, 2024 13:58 2m 23s
Prove mA = mB ^ e .github/workflows/build.yaml #44: Commit b095587 pushed by Prowler99
July 28, 2024 09:51 7m 59s master
master
July 28, 2024 09:51 7m 59s
Merge branch 'master' of https://github.com/LizBonn/RamificationGroup .github/workflows/build.yaml #43: Commit 9989bfd pushed by Akwardbro
July 8, 2024 07:36 8m 32s master
master
July 8, 2024 07:36 8m 32s
prepare for prop3 .github/workflows/build.yaml #42: Commit a84966a pushed by Prowler99
June 30, 2024 07:07 8m 22s master
master
June 30, 2024 07:07 8m 22s
Use Algebra.adjoin {x} = \top to state props in LowerNumbering.lean .github/workflows/build.yaml #41: Commit a0faef7 pushed by Prowler99
June 15, 2024 08:24 8m 17s master
master
June 15, 2024 08:24 8m 17s
Merge branch 'master' of https://github.com/LizBonn/RamificationGroup .github/workflows/build.yaml #40: Commit a538475 pushed by Prowler99
June 13, 2024 13:39 7m 56s master
master
June 13, 2024 13:39 7m 56s
Update blueprint.sty .github/workflows/build.yaml #39: Commit 5daec1d pushed by jjdishere
June 13, 2024 08:58 22m 27s master
master
June 13, 2024 08:58 22m 27s
Merge pull request #4 from LizBonn/blueprint .github/workflows/build.yaml #38: Commit 5d9331f pushed by jjdishere
June 11, 2024 11:22 22m 27s master
master
June 11, 2024 11:22 22m 27s
Update shell.nix .github/workflows/build.yaml #37: Commit c32c095 pushed by jjdishere
June 9, 2024 13:15 22m 52s master
master
June 9, 2024 13:15 22m 52s
Update shell.nix .github/workflows/build.yaml #36: Commit 5a31a07 pushed by jjdishere
June 9, 2024 13:12 27m 22s master
master
June 9, 2024 13:12 27m 22s
Update shell.nix .github/workflows/build.yaml #35: Commit dd04baf pushed by jjdishere
June 9, 2024 13:00 21m 12s master
master
June 9, 2024 13:00 21m 12s
revert /r .github/workflows/build.yaml #34: Commit ec25c3a pushed by jjdishere
June 9, 2024 12:59 24m 42s master
master
June 9, 2024 12:59 24m 42s
Update shell.nix .github/workflows/build.yaml #33: Commit 67fe474 pushed by jjdishere
June 9, 2024 12:08 21m 8s master
master
June 9, 2024 12:08 21m 8s
Merge pull request #3 from LizBonn/fmoc .github/workflows/build.yaml #32: Commit 7faa85b pushed by jjdishere
June 9, 2024 10:07 21m 23s master
master
June 9, 2024 10:07 21m 23s
pages .github/workflows/build.yaml #31: Commit b3ba560 pushed by jjdishere
June 9, 2024 09:45 27m 14s master
master
June 9, 2024 09:45 27m 14s
fix docgen4 .github/workflows/build.yaml #30: Commit d1f91c4 pushed by jjdishere
June 9, 2024 09:18 27m 6s master
master
June 9, 2024 09:18 27m 6s
fix .github/workflows/build.yaml #29: Commit 540985b pushed by jjdishere
June 7, 2024 21:51 5m 16s master
master
June 7, 2024 21:51 5m 16s
Merge branch 'master' of https://github.com/LizBonn/RamificationGroup .github/workflows/build.yaml #28: Commit 077fc17 pushed by jjdishere
June 7, 2024 07:39 5m 36s master
master
June 7, 2024 07:39 5m 36s
minor updates .github/workflows/build.yaml #27: Commit 0d0b149 pushed by Prowler99
June 6, 2024 14:11 11m 17s master
master
June 6, 2024 14:11 11m 17s
state and prove lowerIndex_ne_refl .github/workflows/build.yaml #26: Commit b78c6eb pushed by Prowler99
June 6, 2024 14:01 10m 49s master
master
June 6, 2024 14:01 10m 49s
Update HerbrandFunction.lean .github/workflows/build.yaml #25: Commit 0814df5 pushed by Akwardbro
June 6, 2024 09:17 11m 15s master
master
June 6, 2024 09:17 11m 15s