Skip to content
Build largecatmodules

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 #84

Sign in to view logs

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 #84

Triggered via pull request February 7, 2024 22:16
@rmatthesrmatthes
synchronize #153
rmatthes:githubactionsv4
Status Success
Total duration 8m 27s
Artifacts –

blank.yml

on: pull_request
Matrix: build-largecatmodules
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build with 8.16
Declaring arbitrary terms as hints is fragile; it is recommended to
Build with 8.16
Declaring arbitrary terms as hints is fragile; it is recommended to
Build with 8.16
disp_nat_z_iso_to_trans does not respect the uniform inheritance