Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CI] Add 9.0 #86

Merged
merged 1 commit into from
Jan 19, 2025
+8,958 −589

[CI] Add 9.0

18ad635
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

[CI] Add 9.0 #86

[CI] Add 9.0
18ad635
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
coq
succeeded Jan 18, 2025 in 1m 11s
Set up job
1s
Determine which commit to initially checkout
0s
Git checkout
13s
Determine which commit to test
0s
Git checkout
0s
Cachix install
3s
Cachix setup coq
3s
Checking presence of CI target coq
47s
Building/fetching current CI target
0s
Post Cachix setup coq
0s
Post Git checkout
0s
Post Git checkout
0s
Complete job
0s