Skip to content
Build and test Karamel based on a FStar image

New option to record renamings in a .h file #595

Sign in to view logs

New option to record renamings in a .h file

New option to record renamings in a .h file #595

Triggered via pull request June 26, 2023 20:20
@msprotzmsprotz
synchronize #357
protz_renamings
Status Failure
Total duration 11m 22s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linux-x64-hierarchic.yaml

on: pull_request
build
2m 10s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
Process completed with exit code 1.
build
No files were found with the provided path: log.txt. No artifacts will be uploaded.