Skip to content

Merge remote-tracking branch 'origin/main' into operator-meaning #185

Merge remote-tracking branch 'origin/main' into operator-meaning

Merge remote-tracking branch 'origin/main' into operator-meaning #185

Triggered via push January 23, 2024 19:16
Status Success
Total duration 2m 43s
Artifacts

nix.yaml

on: push
Build with Nix
2m 35s
Build with Nix
Evaluate the Nix shell
1m 6s
Evaluate the Nix shell
Fit to window
Zoom out
Zoom in