Skip to content
TLA+ CI

Try add Verso doc to pages; add mechanism to trigger all CI [annotate] #17

Sign in to view logs

Try add Verso doc to pages; add mechanism to trigger all CI [annotate]

Try add Verso doc to pages; add mechanism to trigger all CI [annotate] #17

Triggered via push October 28, 2024 12:51
@utensilutensil
pushed 302149c
main
Status Success
Total duration 1m 1s
Artifacts –

tla.yml

on: push
Matrix: tla
Fit to window
Zoom out
Zoom in