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.

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

specs.next | beta.specs.filecoin.io #969

Closed
wants to merge 43 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
d9fa7f4
fix: fix bug in the deals mmd
hugomrdias Jul 3, 2020
a1ef7d1
feat: add the new setup to the next folder
hugomrdias Jul 3, 2020
62f736e
fix: old jhugo book
hugomrdias Jul 3, 2020
dd21dc6
fix: new hugo book
hugomrdias Jul 3, 2020
8fb1db3
feat: new design and dashboard
hugomrdias Jul 5, 2020
6754c1f
Merge branch 'feat/new-setup' of github.com:filecoin-project/specs in…
hugomrdias Jul 5, 2020
39a3f60
fix: fix line-height in code tags
hugomrdias Jul 5, 2020
60bb993
feat: create filecoin_vm.md (#970)
yiannisbot Jul 6, 2020
22b83d4
fix: intro section (#971)
yiannisbot Jul 6, 2020
79f7e84
fix: section 4 files (#972)
yiannisbot Jul 6, 2020
137adeb
fix: section 2 file (#973)
yiannisbot Jul 7, 2020
7c55fca
fix: lots of content
hugomrdias Jul 8, 2020
2e3fbd7
fix: finish systems
hugomrdias Jul 13, 2020
50e87ed
fix: fix homepage redirecto to intro
hugomrdias Jul 13, 2020
0152b43
fix: more updated sections
hugomrdias Jul 14, 2020
28574ec
fix: systems done
hugomrdias Jul 14, 2020
4ae2e91
fix: docs updates
hugomrdias Jul 14, 2020
5901bcd
feat: math mode
hugomrdias Jul 14, 2020
1e57c5b
fix: update math mode example
hugomrdias Jul 14, 2020
8c7ffe5
fix: fix hidden elements before h1 in a page
hugomrdias Jul 14, 2020
42961d3
fix: listings content
hugomrdias Jul 14, 2020
7388027
docs: add original SDR specification
vmx Jul 14, 2020
4544cb3
docs: make SDR spec render correctly
vmx Jul 14, 2020
80d7faa
fix: glossary
hugomrdias Jul 14, 2020
78e4ec1
Merge branch 'feat/new-setup' of github.com:filecoin-project/specs in…
hugomrdias Jul 14, 2020
bffe8b9
fix: fix all the warnings
hugomrdias Jul 15, 2020
c77d104
fix: update section 2 index pages (#977)
yiannisbot Jul 15, 2020
d4d01be
fix: fix links and formatting in algorithms section (#978)
olizilla Jul 15, 2020
46f20cc
fix: small edits in glossary. (#979)
yiannisbot Jul 15, 2020
41c4e59
fix: remove submodules
hugomrdias Jul 15, 2020
5402600
fix: remove submodule theme
hugomrdias Jul 15, 2020
2168a6f
fix: add modules and clean folders
hugomrdias Jul 15, 2020
ba5c325
docs: add go install instructions
hugomrdias Jul 15, 2020
3bcdd93
feat: simplified workflow to add next to ipfs (#981)
olizilla Jul 16, 2020
a5469fc
fix: fix some headers and relative urls
hugomrdias Jul 16, 2020
d8ca9a3
Merge branch 'feat/new-setup' of github.com:filecoin-project/specs in…
hugomrdias Jul 16, 2020
5e80c65
chore: change gh action name
hugomrdias Jul 16, 2020
dcf452a
chore: change job name
hugomrdias Jul 16, 2020
c60a702
chore: updates deps
hugomrdias Jul 20, 2020
20dbc5e
feat: update dnslink to deploy (#982)
olizilla Jul 20, 2020
7772764
Merge branch 'feat/new-setup' of github.com:filecoin-project/specs in…
hugomrdias Jul 20, 2020
455eafb
fix: update readme and ci
hugomrdias Jul 20, 2020
156fab4
fix: untrack resources
hugomrdias Jul 20, 2020
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
39 changes: 0 additions & 39 deletions .circleci/config.yml

This file was deleted.

90 changes: 32 additions & 58 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
@@ -1,70 +1,44 @@
name: github pages deploy
name: CI

on:
push:
branches:
- master
on: [push]

jobs:
build-deploy:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
with:
submodules: true
- uses: actions/checkout@v2

- uses: webfactory/ssh-agent@v0.2.0
- uses: actions/setup-go@v2
with:
ssh-private-key: ${{ secrets.ACTIONS_DEPLOY_KEY }}

- name: Install Go
run: |
sudo apt-get remove golang-go
sudo apt-get remove --auto-remove golang-go
sudo rm -rf /usr/local/go
sudo rm -rf /usr/local/go1.12
sudo rm -rf /usr/local/go1.27
sudo apt-get update
wget https://dl.google.com/go/go1.14.4.linux-amd64.tar.gz
sudo tar -xvf go1.14.4.linux-amd64.tar.gz
sudo chown -R root:root ./go
sudo cp -r go /usr/local
sudo cp -r go /usr/local/go1.12
sudo cp -r go /usr/local/go1.27
sudo ln -sf /usr/local/go/bin/go /usr/bin/go
sudo echo 'GOROOT=/usr/local/go' >> ~/.profile
sudo echo 'GOPATH=$HOME/work' >>~/.profile
sudo echo 'PATH=$GOROOT/bin:$GOPATH/bin' >>~/.profile
source ~/.profile

- name: Debug
run: |
pwd
go env
which go
go version

- name: Install deps-ga
run: |
sudo make deps-ga
go-version: '1.14'

- name: Build
run: |
sudo chown -R root:root /home/runner/work/specs
sudo make build

- name: Deploy using SSH
- uses: actions/setup-node@v2-beta
with:
node-version: '12'

- run: npm install
- run: npm run build

# Pin the built site to ipfs-cluster, output the cid as `steps.ipfs.outputs.cid`
# see: https://github.com/ipfs-shipyard/ipfs-github-action
- uses: ipfs-shipyard/ipfs-github-action@v1.0.0
id: ipfs
with:
path_to_add: public
cluster_host: /dnsaddr/cluster.ipfs.io
cluster_user: ${{ secrets.CLUSTER_USER }}
cluster_password: ${{ secrets.CLUSTER_PASSWORD }}
env:
DEPLOY_KEY: ${{ secrets.ACTIONS_DEPLOY_KEY }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
sudo chown -R runner /home/runner/work/specs/specs
sudo chown -R runner .git/
eval "$(ssh-agent -s)"
ssh-add - <<< "${DEPLOY_KEY}"

- run: echo /ipfs/${{ steps.ipfs.outputs.cid }}

git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
git config --local user.email "no-reply-spec-deploy@protocol.ai"
git config --local user.name "no-reply-spec-deploy"
- run: echo ${{ github.ref }}

bin/publish-to-gh-pages.sh
# This branch updates a dnslink for a domain if the current branch should be deployed to prod.
# see https://github.com/ipfs-shipyard/js-dnslink-dnsimple
- run: npx dnslink-dnsimple --domain beta.spec.filecoin.io --link /ipfs/${{ steps.ipfs.outputs.cid }}
env:
DNSIMPLE_TOKEN: ${{ secrets.DNSIMPLE_TOKEN }}
# TODO: change to master once merged.
if: github.ref == 'refs/heads/feat/new-setup'
14 changes: 3 additions & 11 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,15 +1,7 @@
.vscode
.idea
public/
deps/
.slime/
build/
hugo/resources
hugo/content/docs
hugo/content/ox-hugo
hugo/content/codeGen/main
.DS_Store
*.gen.go
hugo/data/version.yml
pkg/
tools/codeGen/codeGen
yarn.lock
node_modules
resources
9 changes: 0 additions & 9 deletions .gitmodules

This file was deleted.

Loading