Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(Optimize Go imports): run goimports on Go target code #4777

Merged
merged 35 commits into from
Jan 24, 2024
Merged

feat(Optimize Go imports): run goimports on Go target code #4777

merged 35 commits into from
Jan 24, 2024

Commits on Nov 14, 2023

  1. feat(Optimize Go imports): run goimports on Go target code

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    9ad39a8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dafny-lang:master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Nov 14, 2023
    Configuration menu
    Copy the full SHA
    c8b7166 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. fix(docs): Update the Installation.md for Go

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2b03658 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2ed2b92 View commit details
    Browse the repository at this point in the history

  3. fix(CI): Go get goimports

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    79b2a41 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2c31098 View commit details
    Browse the repository at this point in the history

  5. fix(CI): Go install goimports

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    375b49b View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. fix(CI): Use setup-go for goimports

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    977f05b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    9821ca0 View commit details
    Browse the repository at this point in the history

  3. fix(CI Tests): Diff formatting fix

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    418ca76 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Merge branch 'dafny-lang:master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Nov 28, 2023
    Configuration menu
    Copy the full SHA
    2f07ff4 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Nov 29, 2023
    Configuration menu
    Copy the full SHA
    5308135 View commit details
    Browse the repository at this point in the history

  2. fix(CI): Install goimports for Go 1.11

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    1a7edcf View commit details
    Browse the repository at this point in the history

  3. fix(CI): Install goimports for Go 1.20

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    4561a2e View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. fix(Review): Comments

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    397910f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 1, 2023
    Configuration menu
    Copy the full SHA
    8ec957f View commit details
    Browse the repository at this point in the history

  3. fix(CI): Use the min compatible version of Go for CI

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    cf2bb36 View commit details
    Browse the repository at this point in the history

  4. fix(CI): Use GO111MODULE=auto

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    5df8644 View commit details
    Browse the repository at this point in the history

  5. fix(CI): Use GO111MODULE=on

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    c2ade99 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    8092f3c View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 6, 2023
    Configuration menu
    Copy the full SHA
    5cd7107 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. Merge branch 'master' into master

    @robin-aws
    robin-aws authored Dec 8, 2023
    Configuration menu
    Copy the full SHA
    5782838 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. fix(CI): Fixes CHECK directive across Go Versions

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    9d24383 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 12, 2023
    Configuration menu
    Copy the full SHA
    fa31f66 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 12, 2023
    Configuration menu
    Copy the full SHA
    1e4b095 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 13, 2023
    Configuration menu
    Copy the full SHA
    9b86632 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Dec 13, 2023
    Configuration menu
    Copy the full SHA
    1935f0b View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. Merge remote-tracking branch 'aws/master'

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    899cb5d View commit details
    Browse the repository at this point in the history

  2. fix(CI): Merge conflict fix

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    55eb801 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Merge branch 'dafny-lang:master' into master

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 authored Jan 12, 2024
    Configuration menu
    Copy the full SHA
    2b5aafa View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Use ioutil instead of os in Go Std extern code 

    Better compatibility across more Go versions
    @robin-aws
    robin-aws committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    36af5f7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into master

    @robin-aws
    robin-aws authored Jan 19, 2024
    Configuration menu
    Copy the full SHA
    bac9d4e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into master

    @robin-aws
    robin-aws authored Jan 19, 2024
    Configuration menu
    Copy the full SHA
    0ba2131 View commit details
    Browse the repository at this point in the history

  4. Typo

    @robin-aws
    robin-aws committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    15050d8 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Merge remote-tracking branch 'aws/master'

    @ShubhamChaturvedi7
    ShubhamChaturvedi7 committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    e19d9ba View commit details
    Browse the repository at this point in the history