Nix CI for bundle 8.15

Application of s-finite kernels to program semantics #2234

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-8.15.yml at 564ae22

File not found

The workflow file could not be found.