Skip to content
CI

Merge pull request #69 from AllanBlanchard/config/move-from-z3-to-cvc5 #9

Sign in to view logs

Merge pull request #69 from AllanBlanchard/config/move-from-z3-to-cvc5

Merge pull request #69 from AllanBlanchard/config/move-from-z3-to-cvc5 #9

Triggered via push November 9, 2024 21:22
@AllanBlanchardAllanBlanchard
pushed 78dc1dd
master
Status Success
Total duration 5m 18s
Artifacts 2

ci.yml

on: push
EN version
3m 4s
EN version
FR version
3m 10s
FR version
Check code
5m 7s
Check code
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
frama-c-wp-tutorial-en.pdf
3.59 MB
frama-c-wp-tutoriel-fr.pdf
3.63 MB