Skip to content
Check and build

style: T-algebras and F-algebras should be $T$-, $F$- #130

Sign in to view logs

style: T-algebras and F-algebras should be $T$-, $F$-

style: T-algebras and F-algebras should be $T$-, $F$- #130

Triggered via push June 21, 2025 05:19
@drupoldrupol
pushed 92022fb
master
Status Success
Total duration 11m 22s
Artifacts –

nix-flake-check.yaml

on: push
Build dependencies
3s
Build dependencies
Figure out the packages we need to build
44s
Figure out the packages we need to build
Matrix: Build
Fit to window
Zoom out
Zoom in