Skip to content
Check and build

Use math font for functors, F-algebras and T-algebras #129

Sign in to view logs

Use math font for functors, F-algebras and T-algebras

Use math font for functors, F-algebras and T-algebras #129

Triggered via pull request June 21, 2025 02:53
@ktgw0316ktgw0316
opened #362
ktgw0316:functor-mathit
Status Success
Total duration 10m 54s
Artifacts –

nix-flake-check.yaml

on: pull_request
Build dependencies
4s
Build dependencies
Figure out the packages we need to build
47s
Figure out the packages we need to build
Matrix: Build
Fit to window
Zoom out
Zoom in