Skip to content
Build with nix

Fix aux rule generation for existential rules #196

Sign in to view logs

Fix aux rule generation for existential rules

Fix aux rule generation for existential rules #196

Triggered via push May 10, 2024 08:58
@aannleaxaannleax
pushed 2c4e115
main
Status Success
Total duration 11m 59s
Artifacts –

nix.yml

on: push
Make sure that the nix flake evaluates and run the checks
11m 51s
Make sure that the nix flake evaluates and run the checks
Fit to window
Zoom out
Zoom in