[Paper Artifact] Application of s-finite kernels to program semantics #4571
Triggered via pull request
September 25, 2025 02:16
affeldt-aist
affeldt-aist
synchronize
#912
Status
Failure
Total duration
33m 17s
Artifacts
–
nix-action-master.yml
on: pull_request_target
rocq-core
49s
rocq-elpi
50s
mathcomp
13m 54s
mathcomp-analysis-single
28m 17s
mathcomp-experimental-reals
1m 50s
mathcomp-analysis-stdlib
0s
Annotations
2 errors
|
mathcomp-analysis
Process completed with exit code 1.
|
|
mathcomp-analysis-single
Process completed with exit code 1.
|