Skip to content
Hakyber

fix makefile #120

Sign in to view logs

fix makefile

fix makefile #120

Triggered via push December 19, 2023 17:42
@mbbarbosambbarbosa
pushed 4d81ff2
master
Status Failure
Total duration 7m 25s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Check Hakyber EasyCrypt Project
7m 17s
Check Hakyber EasyCrypt Project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check Hakyber EasyCrypt Project
Process completed with exit code 2.