Skip to content

Actions: tlaplus/tla-by-example

Actions

CD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cd.yml
23 workflow runs
23 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CD CD #23: Manually run by FedericoPonzi
2s main
main
2s
CD CD #22: completed by FedericoPonzi
52s
52s
CD CD #21: completed by FedericoPonzi
1m 27s
1m 27s
CD CD #20: completed by FedericoPonzi
1s
1s
CD CD #19: completed by FedericoPonzi
1s
1s
CD CD #18: completed by FedericoPonzi
1m 19s
1m 19s
CD CD #17: completed by FedericoPonzi
1m 18s
1m 18s
CD CD #16: completed by FedericoPonzi
1m 10s
1m 10s
CD CD #15: completed by FedericoPonzi
1m 18s
1m 18s
CD CD #14: completed by FedericoPonzi
56s
56s
CD CD #13: completed by FedericoPonzi
58s
58s
CD CD #12: completed by FedericoPonzi
52s
52s
CD CD #11: completed by FedericoPonzi
1m 2s
1m 2s
CD CD #10: completed by FedericoPonzi
48s
48s
CD CD #9: completed by FedericoPonzi
53s
53s
CD CD #8: completed by FedericoPonzi
1m 14s
1m 14s
CD CD #7: completed by FedericoPonzi
53s
53s
CD CD #6: completed by FedericoPonzi
57s
57s
CD CD #5: completed by FedericoPonzi
57s
57s
CD CD #4: completed by FedericoPonzi
59s
59s
CD CD #3: completed by FedericoPonzi
59s
59s
CD CD #2: completed by FedericoPonzi
53s
53s
CD CD #1: completed by FedericoPonzi
52s
52s