Skip to content
Coq Axiom Check

Parse string literals #40

Sign in to view logs

Parse string literals

Parse string literals #40

Triggered via push December 5, 2023 10:15
@huynhtrankhanhhuynhtrankhanh
pushed 2517ae0
main
Status Success
Total duration 2m 13s
Artifacts –

axioms.yml

on: push
coq-check
2m 4s
coq-check
Fit to window
Zoom out
Zoom in