ICPC_notebook

Actions Status GitHub Pages

private なコピーを作るには

  1. 新規 private repository を作る
  2. repository の Settings -> Actions -> Workflow permissions を Read and Write に設定
  3. git clone https://github.com/tatyam-prime/ICPC_notebook.git && cd ICPC_notebook
  4. git remote set-url origin {your_private_repository_url}
  5. git commit -m "test" --allow-empty && git push
  6. workflow が動くことを確認
  7. README.txt をいい感じに修正

内容を変更するには

  1. src/*/* の中身を変更する
  2. build/build.js の設定項目を変更する
  3. commit & push

手元で動かすには

事前にインストールするもの

PDF を生成する

  1. make build

oj-verify で verify

  1. make verify

oj-verify ページを生成

  1. make serve