Skip to content

Merge pull request #156 from freespek/igor/generate-tla #408

Merge pull request #156 from freespek/igor/generate-tla

Merge pull request #156 from freespek/igor/generate-tla #408

Triggered via push December 23, 2024 09:36
Status Success
Total duration 4m 30s
Artifacts

main.yml

on: push
housekeeping
17s
housekeeping
Matrix: contracts-unit-tests
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
housekeeping
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
contracts-unit-tests (stable)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636