Nix CI for bundle 8.15

Application of s-finite kernels to program semantics #2351

Sign in to view logs

Workflow file for this run

.github/workflows/nix-action-8.15.yml at ed131a4

File not found

The workflow file could not be found.