Skip to content
CI

Update README.md #40

Sign in to view logs

Update README.md

Update README.md #40

Triggered via pull request October 6, 2024 11:53
@yoav-el-certorayoav-el-certora
synchronize #12
Rename_Repo
Status Success
Total duration 3m 32s
Billable time 5m
Artifacts –

ci.yml

on: pull_request
Regression
3m 12s
Regression
Update-Version
3s
Update-Version
Fit to window
Zoom out
Zoom in