Skip to content
.github/workflows/charon.yml

hax-lib: introduce a Prop abstraction #1154

Sign in to view logs

hax-lib: introduce a Prop abstraction

hax-lib: introduce a Prop abstraction #1154

Triggered via pull request February 14, 2025 18:49
@karthikbhargavankarthikbhargavan
synchronize #1301
prop-predicates
Status Success
Total duration 9m 4s
Artifacts –

charon.yml

on: pull_request
charon
8m 53s
charon
Fit to window
Zoom out
Zoom in