Skip to content
Github CI

[coq] API to handle Require Ast specifically #2005

Sign in to view logs

[coq] API to handle Require Ast specifically

[coq] API to handle Require Ast specifically #2005

Triggered via pull request January 20, 2024 03:07
@ejgallegoejgallego
synchronize #642
require_interp
Status Success
Total duration 27m 37s
Artifacts –

build.yml

on: pull_request
client-compile
12s
client-compile
Nix Flake Check
50s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...
Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.