Merge pull request #33 from Certora/fix_readme · Certora/gambit@5858eb3

Triggered via push December 22, 2023 14:11

v1.0.3

Status Success

Total duration 3m 54s

Artifacts 2

gambit.yml

on: push

1 warning

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Produced during runtime

Name	Size
gambit-linux-v1.0.3 Expired	6.05 MB
gambit-macos-v1.0.3 Expired	3.86 MB