Remove headers not needed anymore due to recent removal of unused fun… #37

	# https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions
	# See also: https://github.com/marketplace/actions/bazel-action

	name: Continuous Integration
	on:
	# Avoid triggering on pushes to /all/ open PR branches.
	push:
	branches:
	- main
	paths-ignore:
	# Do not trigger action when docs are updated.
	- 'docs/**'
	pull_request:
	branches:
	- main
	# This lets us trigger manually from the UI.
	workflow_dispatch:

	jobs:
	build:
	name: Bazel Build (opt)
	runs-on:
	labels: ubuntu-22.04-64core
	timeout-minutes: 600
	steps:
	- uses: actions/checkout@v2

	- name: Restore Nightly Bazel Cache
	uses: actions/cache/restore@v4
	with:
	path: "~/.cache/bazel"
	key: bazel-cache-nightly-${{ runner.os }}-${{ github.sha }}
	restore-keys: bazel-cache-nightly-${{ runner.os }}-

	- name: Install dependencies via apt
	run: sudo apt-get install python3-distutils python3-dev python-is-python3 libtinfo5 build-essential liblapack-dev libblas-dev gfortran

	- name: Bazel Build Tools (opt)
	run: \|
	bazel build -c opt --noshow_progress --test_output=errors -- //xls/dslx:interpreter_main //xls/dslx/ir_convert:ir_converter_main //xls/tools:opt_main //xls/tools:codegen_main

	- name: Bazel Test All (opt)
	run: \|
	bazel test -c opt --noshow_progress --test_output=errors -- //...

Provide feedback