build graph outside of `Tensor`; encapsulate graph type (#369) #10

	# Copyright 2021 Joel Berkeley
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	on:
	workflow_dispatch:
	push:
	branches:
	- master

	env:
	PACK_DIR: /root/.pack

	jobs:
	docs:
	runs-on: ubuntu-latest
	container: ghcr.io/stefan-hoeck/idris2-pack
	steps:
	- uses: actions/checkout@v3
	- run: \|
	pack --no-prompt --with-docs install spidr
	mv build/docs .
	- run: \|
	git config --global --add safe.directory "$GITHUB_WORKSPACE"
	git add .
	git config user.email "none"
	git config user.name "none"
	git commit -m "build documentation"
	git push -f origin HEAD:gh-pages

Provide feedback