Skip to content
update Nix packages

update Nix packages #219

Sign in to view logs

update Nix packages

update Nix packages #219

Triggered via schedule July 3, 2024 18:55
@katrinafyikatrinafyi
⁠ 0828d84
main
Status Failure
Total duration 32m 59s
Artifacts –

update.yml

on: schedule
Matrix: update
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 4 warnings, and 4 notices
update (alive2-aslp)
Process completed with exit code 1.
update (alive2-regehr)
Process completed with exit code 1.
package outdated: asli
package outdated: basil
package outdated: alive2-aslp
package outdated: alive2-regehr
package up to date: bap-asli-plugin
package up to date: bap-primus
package up to date: gtirb-semantics
package up to date: asl-translator