Skip to content
Build/Release Coding Standards

fix: refined language around source lemmas #10

Sign in to view logs

fix: refined language around source lemmas

fix: refined language around source lemmas #10

Triggered via push April 16, 2025 09:04
@dmzimmermandmzimmerman
pushed 3b1b897
tamarin-standard
Status Success
Total duration 1h 3m 56s
Artifacts –

build-and-release.yml

on: push
Build Coding Standards and Update Release
1h 3m
Build Coding Standards and Update Release
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
Build Coding Standards and Update Release
Failed to restore: Cache service responded with 422
Build Coding Standards and Update Release
TeX Live 2025 has been released. The action may not work properly for a few days after release.