Just commit the list of pages
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
77
e2e/pages.ts
Normal file
77
e2e/pages.ts
Normal file
@@ -0,0 +1,77 @@
|
||||
export const pages = [
|
||||
"http://localhost:8081/about",
|
||||
"http://localhost:8081/blog/00_aoc_coq/index.html",
|
||||
"http://localhost:8081/blog/00_compiler_intro/index.html",
|
||||
"http://localhost:8081/blog/00_cs325_languages_hw1/index.html",
|
||||
"http://localhost:8081/blog/00_spa_agda_intro/index.html",
|
||||
"http://localhost:8081/blog/01_aoc_coq/index.html",
|
||||
"http://localhost:8081/blog/01_compiler_tokenizing/index.html",
|
||||
"http://localhost:8081/blog/01_cs325_languages_hw2/index.html",
|
||||
"http://localhost:8081/blog/01_learning_emulation/index.html",
|
||||
"http://localhost:8081/blog/01_spa_agda_lattices/index.html",
|
||||
"http://localhost:8081/blog/02_compiler_parsing/index.html",
|
||||
"http://localhost:8081/blog/02_cs325_languages_hw3/index.html",
|
||||
"http://localhost:8081/blog/02_learning_emulation/index.html",
|
||||
"http://localhost:8081/blog/02_spa_agda_combining_lattices/index.html",
|
||||
"http://localhost:8081/blog/03_compiler_typechecking/index.html",
|
||||
"http://localhost:8081/blog/03_learning_emulation/index.html",
|
||||
"http://localhost:8081/blog/03_spa_agda_fixed_height/index.html",
|
||||
"http://localhost:8081/blog/04_compiler_improvements/index.html",
|
||||
"http://localhost:8081/blog/04_spa_agda_fixedpoint/index.html",
|
||||
"http://localhost:8081/blog/05_compiler_execution/index.html",
|
||||
"http://localhost:8081/blog/05_spa_agda_semantics/index.html",
|
||||
"http://localhost:8081/blog/06_compiler_compilation/index.html",
|
||||
"http://localhost:8081/blog/06_spa_agda_cfg/index.html",
|
||||
"http://localhost:8081/blog/07_compiler_runtime/index.html",
|
||||
"http://localhost:8081/blog/07_spa_agda_semantics_and_cfg/index.html",
|
||||
"http://localhost:8081/blog/08_compiler_llvm/index.html",
|
||||
"http://localhost:8081/blog/08_spa_agda_forward/index.html",
|
||||
"http://localhost:8081/blog/09_compiler_garbage_collection/index.html",
|
||||
"http://localhost:8081/blog/09_spa_agda_verified_forward/index.html",
|
||||
"http://localhost:8081/blog/10_compiler_polymorphism/index.html",
|
||||
"http://localhost:8081/blog/11_compiler_polymorphic_data_types/index.html",
|
||||
"http://localhost:8081/blog/12_compiler_let_in_lambda/index.html",
|
||||
"http://localhost:8081/blog/13_compiler_cleanup/index.html",
|
||||
"http://localhost:8081/blog/agda_expr_pattern/index.html",
|
||||
"http://localhost:8081/blog/agda_hugo/index.html",
|
||||
"http://localhost:8081/blog/agda_is_pattern/index.html",
|
||||
"http://localhost:8081/blog/backend_math_rendering/index.html",
|
||||
"http://localhost:8081/blog/bergamot/index.html",
|
||||
"http://localhost:8081/blog/better_explanations/index.html",
|
||||
/* "http://localhost:8081/blog/blog_microfeatures/index.html", has a gif, animation breaks it */
|
||||
"http://localhost:8081/blog/blog_with_nix/index.html",
|
||||
"http://localhost:8081/blog/boolean_values/index.html",
|
||||
"http://localhost:8081/blog/chapel_runtime_types/index.html",
|
||||
"http://localhost:8081/blog/chapel_x_macros/index.html",
|
||||
"http://localhost:8081/blog/codelines/index.html",
|
||||
"http://localhost:8081/blog/coq_dawn/index.html",
|
||||
"http://localhost:8081/blog/coq_dawn_eval/index.html",
|
||||
"http://localhost:8081/blog/coq_palindrome/index.html",
|
||||
"http://localhost:8081/blog/crystal_nix/index.html",
|
||||
"http://localhost:8081/blog/crystal_nix_revisited/index.html",
|
||||
"http://localhost:8081/blog/crystal_on_arm/index.html",
|
||||
"http://localhost:8081/blog/dell_is_horrible/index.html",
|
||||
"http://localhost:8081/blog/dyno_alloy/index.html",
|
||||
"http://localhost:8081/blog/haskell_catamorphisms/index.html",
|
||||
"http://localhost:8081/blog/haskell_language_server/index.html",
|
||||
"http://localhost:8081/blog/haskell_language_server_again/index.html",
|
||||
"http://localhost:8081/blog/haskell_lazy_evaluation/index.html",
|
||||
"http://localhost:8081/blog/hugo_functions/index.html",
|
||||
/* "http://localhost:8081/blog/index.html", new posts break this test */
|
||||
/* "http://localhost:8081/blog/introducing_highlight/index.html", the embed is flaky */
|
||||
"http://localhost:8081/blog/jos_local/index.html",
|
||||
"http://localhost:8081/blog/lambda_calculus_integers/index.html",
|
||||
"http://localhost:8081/blog/math_rendering_is_wrong/index.html",
|
||||
/* "http://localhost:8081/blog/modulo_patterns/index.html", has a gif, animation breaks it */
|
||||
"http://localhost:8081/blog/new_look/index.html",
|
||||
"http://localhost:8081/blog/search_polynomials/index.html",
|
||||
"http://localhost:8081/blog/sidenotes/index.html",
|
||||
"http://localhost:8081/blog/stack_recursion/index.html",
|
||||
"http://localhost:8081/blog/starbound/index.html",
|
||||
"http://localhost:8081/blog/static_site/index.html",
|
||||
"http://localhost:8081/blog/typesafe_imperative_lang/index.html",
|
||||
"http://localhost:8081/blog/typesafe_interpreter/index.html",
|
||||
"http://localhost:8081/blog/typesafe_interpreter_revisited/index.html",
|
||||
"http://localhost:8081/blog/typesafe_interpreter_tuples/index.html",
|
||||
"http://localhost:8081/blog/typescript_typesafe_events/index.html",
|
||||
]
|
||||
35
flake.nix
Normal file
35
flake.nix
Normal file
@@ -0,0 +1,35 @@
|
||||
{
|
||||
inputs = {
|
||||
nixpkgs.url = "github:nixos/nixpkgs/nixos-25.11";
|
||||
flake-utils.url = "github:numtide/flake-utils";
|
||||
};
|
||||
|
||||
outputs = { self, nixpkgs, flake-utils, }:
|
||||
flake-utils.lib.eachDefaultSystem (system:
|
||||
let pkgs = import nixpkgs { inherit system; };
|
||||
in {
|
||||
default = pkgs.mkShell {
|
||||
packages = [
|
||||
pkgs.nodejs
|
||||
pkgs.yarn
|
||||
];
|
||||
|
||||
nativeBuildInputs = [ pkgs.yarnConfigHook ];
|
||||
|
||||
# Must be named this for pkgs.yarnConfigHook
|
||||
yarnOfflineCache = pkgs.fetchYarnDeps {
|
||||
yarnLock = ./yarn.lock;
|
||||
};
|
||||
|
||||
# PLAYWRIGHT_BROWSERS_PATH = pkgs.playwright-driver.browsers;
|
||||
# PLAYWRIGHT_SKIP_BROWSER_DOWNLOAD = "1";
|
||||
|
||||
# Optional but often needed in Nix sandboxes:
|
||||
# XDG_CACHE_HOME = "$TMPDIR/xdg-cache";
|
||||
# XDG_CONFIG_HOME = "$TMPDIR/xdg-config";
|
||||
# XDG_DATA_HOME = "$TMPDIR/xdg-data";
|
||||
};
|
||||
}
|
||||
);
|
||||
}
|
||||
|
||||
41
yarn.lock
Normal file
41
yarn.lock
Normal file
@@ -0,0 +1,41 @@
|
||||
# THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY.
|
||||
# yarn lockfile v1
|
||||
|
||||
|
||||
"@playwright/test@^1.51.1":
|
||||
version "1.57.0"
|
||||
resolved "https://registry.yarnpkg.com/@playwright/test/-/test-1.57.0.tgz#a14720ffa9ed7ef7edbc1f60784fc6134acbb003"
|
||||
integrity sha512-6TyEnHgd6SArQO8UO2OMTxshln3QMWBtPGrOCgs3wVEmQmwyuNtB10IZMfmYDE0riwNR1cu4q+pPcxMVtaG3TA==
|
||||
dependencies:
|
||||
playwright "1.57.0"
|
||||
|
||||
"@types/node@^22.14.0":
|
||||
version "22.19.7"
|
||||
resolved "https://registry.yarnpkg.com/@types/node/-/node-22.19.7.tgz#434094ee1731ae76c16083008590a5835a8c39c1"
|
||||
integrity sha512-MciR4AKGHWl7xwxkBa6xUGxQJ4VBOmPTF7sL+iGzuahOFaO0jHCsuEfS80pan1ef4gWId1oWOweIhrDEYLuaOw==
|
||||
dependencies:
|
||||
undici-types "~6.21.0"
|
||||
|
||||
fsevents@2.3.2:
|
||||
version "2.3.2"
|
||||
resolved "https://registry.yarnpkg.com/fsevents/-/fsevents-2.3.2.tgz#8a526f78b8fdf4623b709e0b975c52c24c02fd1a"
|
||||
integrity sha512-xiqMQR4xAeHTuB9uWm+fFRcIOgKBMiOBP+eXiyT7jsgVCq1bkVygt00oASowB7EdtpOHaaPgKt812P9ab+DDKA==
|
||||
|
||||
playwright-core@1.57.0:
|
||||
version "1.57.0"
|
||||
resolved "https://registry.yarnpkg.com/playwright-core/-/playwright-core-1.57.0.tgz#3dcc9a865af256fa9f0af0d67fc8dd54eecaebf5"
|
||||
integrity sha512-agTcKlMw/mjBWOnD6kFZttAAGHgi/Nw0CZ2o6JqWSbMlI219lAFLZZCyqByTsvVAJq5XA5H8cA6PrvBRpBWEuQ==
|
||||
|
||||
playwright@1.57.0, playwright@^1.51.1:
|
||||
version "1.57.0"
|
||||
resolved "https://registry.yarnpkg.com/playwright/-/playwright-1.57.0.tgz#74d1dacff5048dc40bf4676940b1901e18ad0f46"
|
||||
integrity sha512-ilYQj1s8sr2ppEJ2YVadYBN0Mb3mdo9J0wQ+UuDhzYqURwSoW4n1Xs5vs7ORwgDGmyEh33tRMeS8KhdkMoLXQw==
|
||||
dependencies:
|
||||
playwright-core "1.57.0"
|
||||
optionalDependencies:
|
||||
fsevents "2.3.2"
|
||||
|
||||
undici-types@~6.21.0:
|
||||
version "6.21.0"
|
||||
resolved "https://registry.yarnpkg.com/undici-types/-/undici-types-6.21.0.tgz#691d00af3909be93a7faa13be61b3a5b50ef12cb"
|
||||
integrity sha512-iwDZqg0QAGrg9Rav5H4n0M64c3mkR59cJ6wQp+7C4nI0gsmExaedaYLNO44eT4AtBBwjbTiGPMlt2Md0T9H9JQ==
|
||||
Reference in New Issue
Block a user