Update CI scripts #1

	# Copyright (c) Abstract Machines
	# SPDX-License-Identifier: Apache-2.0

	name: Go
	on: [push]
	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	steps:

	- name: Set up Go 1.23.x
	uses: actions/setup-go@v1
	with:
	go-version: 1.23.x
	id: go

	- name: Check out code into the Go module directory
	uses: actions/checkout@v1

	- name: Lint
	uses: golangci/golangci-lint-action@v6
	with:
	version: v1.60.3
	args: --config .golangci.yml

	- name: Test
	run: \|
	go test -v -race -tags test -coverprofile=profile.out -covermode=atomic ./...

	- name: Upload coverage
	uses: codecov/[email protected]
	with:
	token: ${{ secrets.CODECOV_TOKEN }}
	file: ./profile.out
	name: codecov

Provide feedback