Skip to content
build Nix packages

aslp-server: migrate to aslp-rpc, and update cohttp #675

Sign in to view logs

aslp-server: migrate to aslp-rpc, and update cohttp

aslp-server: migrate to aslp-rpc, and update cohttp #675

Triggered via pull request January 16, 2025 07:55
@katrinafyikatrinafyi
opened #40
aslp-server-new-repo
Status Cancelled
Total duration 5m 31s
Artifacts –

main.yml

on: pull_request
Matrix: build
update-check
1m 15s
update-check
result
0s
result
push
0s
push
Fit to window
Zoom out
Zoom in

Annotations

8 errors, 3 warnings, and 8 notices
build (ubuntu-24.04, aslp)
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 (macos-latest, asl-translator)
Process completed with exit code 1.
build (macos-latest, aslp)
Process completed with exit code 1.
build (macos-latest, bap-aslp)
Process completed with exit code 1.
build (macos-latest, remill)
Process completed with exit code 1.
result
Process completed with exit code 1.
package outdated: basil
package outdated: alive2-regehr
remill
broken package has status build=failure, test=skipped
package up to date: asli
package up to date: bap-asli-plugin
package up to date: bap-primus
package up to date: asl-translator
package up to date: gtirb-semantics
package up to date: alive2-aslp
package up to date: aslp_web
package up to date: compiler-explorer