Compare commits

merge into: aniva:dev

Branches Tags

aniva:dev

aniva:chore/toolchain

aniva:chore/cleanup

aniva:repl/elab-option

aniva:main

aniva:v0.3.1

aniva:v0.3.0

aniva:v0.2.25

aniva:v0.2.24

aniva:v0.2.23

aniva:v0.2.22

aniva:v0.2.21

aniva:v0.2.20

aniva:v0.2.19

aniva:v0.2.19-alpha

aniva:v0.2.18

aniva:v0.2.14

aniva:v0.2.13

aniva:v0.2.12

aniva:v0.2.11

aniva:v0.2.10

aniva:v0.2.10-alpha

aniva:v0.2.9

aniva:v0.2.8

aniva:v0.2.7

aniva:v0.2.6

aniva:v0.2.5

aniva:0.2.3

aniva:0.1

...

pull from: aniva:chore/toolchain

Branches Tags

aniva:chore/toolchain

aniva:chore/cleanup

aniva:dev

aniva:repl/elab-option

aniva:main

aniva:v0.3.1

aniva:v0.3.0

aniva:v0.2.25

aniva:v0.2.24

aniva:v0.2.23

aniva:v0.2.22

aniva:v0.2.21

aniva:v0.2.20

aniva:v0.2.19

aniva:v0.2.19-alpha

aniva:v0.2.18

aniva:v0.2.14

aniva:v0.2.13

aniva:v0.2.12

aniva:v0.2.11

aniva:v0.2.10

aniva:v0.2.10-alpha

aniva:v0.2.9

aniva:v0.2.8

aniva:v0.2.7

aniva:v0.2.6

aniva:v0.2.5

aniva:0.2.3

aniva:0.1

A pull request between these branches already exists: aniva/Pantograph#205

chore: Update Lean to v4.19.0 #205

View Pull Request