Skip to content

flake.lock: update for dune 3.17 #722

flake.lock: update for dune 3.17

flake.lock: update for dune 3.17 #722

Triggered via pull request February 7, 2025 04:14
Status Failure
Total duration 4m 19s
Artifacts

main.yml

on: pull_request
Matrix: build
update-check
17s
update-check
Fit to window
Zoom out
Zoom in

Annotations

34 errors
build (ubuntu-24.04, alive2-aslp)
Process completed with exit code 1.
build (ubuntu-24.04, aslp)
Process completed with exit code 1.
build (ubuntu-24.04, aslp_offline)
Process completed with exit code 1.
build (ubuntu-24.04, gtirb-semantics)
Process completed with exit code 1.
build (ubuntu-24.04, basil)
Process completed with exit code 1.
build (ubuntu-24.04, godbolt)
Process completed with exit code 1.
build (ubuntu-24.04, aslp-server)
Process completed with exit code 1.
build (ubuntu-24.04, aslp_web)
Process completed with exit code 1.
build (ubuntu-24.04, bap-primus)
Process completed with exit code 1.
build (ubuntu-24.04, remill)
Process completed with exit code 1.
build (ubuntu-24.04, alive2-regehr)
Process completed with exit code 1.
build (ubuntu-24.04, ddisasm)
Process completed with exit code 1.
build (ubuntu-24.04, retdec5)
Process completed with exit code 1.
build (ubuntu-24.04, asl-translator)
Process completed with exit code 1.
build (ubuntu-24.04, bap-aslp)
Process completed with exit code 1.
build (ubuntu-24.04, retdec-uq-pac)
Process completed with exit code 1.
update-check
Process completed with exit code 1.
build (macos-latest, alive2-regehr)
Process completed with exit code 1.
build (macos-latest, aslp)
Process completed with exit code 1.
build (macos-latest, alive2-aslp)
Process completed with exit code 1.
build (macos-latest, aslp_offline)
Process completed with exit code 1.
build (macos-latest, aslp_web)
Process completed with exit code 1.
build (macos-latest, bap-primus)
Process completed with exit code 1.
build (macos-latest, bap-aslp)
Process completed with exit code 1.
build (macos-latest, basil)
Process completed with exit code 1.
build (macos-latest, asl-translator)
Process completed with exit code 1.
build (macos-latest, aslp-server)
Process completed with exit code 1.
build (macos-latest, ddisasm)
Process completed with exit code 1.
build (macos-latest, godbolt)
Process completed with exit code 1.
build (macos-latest, remill)
Process completed with exit code 1.
build (macos-latest, gtirb-semantics)
Process completed with exit code 1.
build (macos-latest, retdec5)
Process completed with exit code 1.
build (macos-latest, retdec-uq-pac)
Process completed with exit code 1.
result
Process completed with exit code 1.