def: Fin as a record type · the1lab/1lab@85056cf

Triggered via pull request January 6, 2025 18:10

plt-amy

synchronize #452

aliao/record-fin

Status Success

Total duration 7m 0s

Artifacts 1

preview.yml

on: pull_request

2 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size	Digest
pr-preview Expired	9.53 MB	`sha256:9f1788da2dd07affa3749e7ef3522fcaf0709a3fb61d97ee6139c6110df951b3`