Skip to content
Flake build

Adding new bitvector literals and enum/struct Notations for constr #18

Sign in to view logs

Adding new bitvector literals and enum/struct Notations for constr

Adding new bitvector literals and enum/struct Notations for constr #18

Triggered via pull request August 17, 2024 12:55
@maxkurze1maxkurze1
opened #3
maxkurze1:new-notations
Status Success
Total duration 2m 54s
Artifacts –

flake-build.yml

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

Annotations

1 warning
build
Failed to remove 'http.https://github.com/.extraheader' from the git config