Skip to content

Actions: tlaplus/tla-by-example

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #11 from tlaplus/fponzi/tlcweb-reg CI #44: Commit 2726b2f pushed by FedericoPonzi
8m 20s main
main
8m 20s
Merge pull request #11 from tlaplus/fponzi/tlcweb-reg Deploy to GitHub Pages #12: Commit 2726b2f pushed by FedericoPonzi
1m 24s main
main
1m 24s
Add pluggable in-browser TLC regression tests for lessons CI #43: Pull request #11 opened by FedericoPonzi
8m 29s fponzi/tlcweb-reg
fponzi/tlcweb-reg
8m 29s
Remove dangling animation config from blocking-queue examples. (#10) CI #42: Commit 2914c19 pushed by lemmy
58s main
main
58s
Remove dangling animation config from blocking-queue examples. (#10) Deploy to GitHub Pages #11: Commit 2914c19 pushed by lemmy
1m 13s main
main
1m 13s
Remove dangling animation config from blocking-queue examples. CI #41: Pull request #10 opened by lemmy
1m 12s mku-anim
mku-anim
1m 12s
Bump cheerpj runtime to the latest version, fixes #7 Deploy to GitHub Pages #10: Commit 8d4e01a pushed by FedericoPonzi
1m 8s main
main
1m 8s
Bump cheerpj runtime to the latest version, fixes #7 CI #40: Commit 8d4e01a pushed by FedericoPonzi
59s main
main
59s
Add warning banner on symmetry reduction while it's not rootcaused (#7) Deploy to GitHub Pages #9: Commit 7e88b18 pushed by FedericoPonzi
1m 20s main
main
1m 20s
Add warning banner on symmetry reduction while it's not rootcaused (#7) CI #39: Commit 7e88b18 pushed by FedericoPonzi
1m 10s main
main
1m 10s
Add deep-link anchors on the landing page (#9) CI #38: Commit 3bf1e2b pushed by lemmy
1m 9s main
main
1m 9s
Add deep-link anchors on the landing page (#9) Deploy to GitHub Pages #8: Commit 3bf1e2b pushed by lemmy
1m 22s main
main
1m 22s
Add deep-link anchor for BlockingQueue Tutorial on the landing page CI #37: Pull request #9 synchronize by Copilot AI
1m 5s copilot/add-anchor-to-blockingqueue-tutorial
copilot/add-anchor-to-blockingqueue-tutorial
1m 5s
Addressing comment on PR #9 Copilot cloud agent #2: by Copilot AI
3m 8s copilot/add-anchor-to-blockingqueue-tutorial
copilot/add-anchor-to-blockingqueue-tutorial
3m 8s
Running Copilot cloud agent Copilot cloud agent #1: by Copilot AI
3m 47s copilot/add-anchor-to-blockingqueue-tutorial
copilot/add-anchor-to-blockingqueue-tutorial
3m 47s
Merge pull request #6 from tlaplus/pull-release CI #34: Commit 9e96ed6 pushed by FedericoPonzi
1m 2s main
main
1m 2s
Merge pull request #6 from tlaplus/pull-release Deploy to GitHub Pages #7: Commit 9e96ed6 pushed by FedericoPonzi
1m 7s main
main
1m 7s
Pull latest release on build CI #33: Pull request #6 opened by FedericoPonzi
1m 5s pull-release
pull-release
1m 5s
Update serving base path Deploy to GitHub Pages #6: Commit fb6dfcf pushed by FedericoPonzi
1m 16s main
main
1m 16s
Update serving base path CI #32: Commit fb6dfcf pushed by FedericoPonzi
55s main
main
55s
Test CI #31: Commit 4a781c2 pushed by FedericoPonzi
1m 4s main
main
1m 4s
Test Deploy to GitHub Pages #5: Commit 4a781c2 pushed by FedericoPonzi
1m 8s main
main
1m 8s
Test CI #30: Commit 70405ed pushed by FedericoPonzi
58s main
main
58s
Test Deploy to GitHub Pages #4: Commit 70405ed pushed by FedericoPonzi
1m 14s main
main
1m 14s
Create CNAME Deploy to GitHub Pages #3: Commit 17c3592 pushed by lemmy
1m 13s main
main
1m 13s