Skip to content

Actions: tlaplus/tla-by-example

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 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 #23 from formal-systems/demo Deploy to GitHub Pages #17: Commit ec0cc03 pushed by FedericoPonzi
1m 22s main
main
1m 22s
Merge pull request #23 from formal-systems/demo CI #60: Commit ec0cc03 pushed by FedericoPonzi
10m 8s main
main
10m 8s
Add "Run in VS Code": model-check playground specs in a GitHub codespace CI #59: Pull request #23 synchronize by formal-systems
10m 33s formal-systems:demo
formal-systems:demo
10m 33s
Add "Run in VS Code": model-check playground specs in a GitHub codespace CI #58: Pull request #23 synchronize by formal-systems
Action required formal-systems:demo
formal-systems:demo
Action required
Add "Run in VS Code": model-check playground specs in a GitHub codespace CI #57: Pull request #23 opened by formal-systems
Action required formal-systems:demo
formal-systems:demo
Action required
Merge pull request #19 from tlaplus/fponzi/fixes CI #56: Commit 1ba740a pushed by FedericoPonzi
10m 8s main
main
10m 8s
Merge pull request #19 from tlaplus/fponzi/fixes Deploy to GitHub Pages #16: Commit 1ba740a pushed by FedericoPonzi
1m 17s main
main
1m 17s
Content-review CI #55: Pull request #19 opened by FedericoPonzi
9m 30s fponzi/fixes
fponzi/fixes
9m 30s
Merge pull request #18 from tlaplus/fponzi/remove-ci-step CI #54: Commit a81218a pushed by FedericoPonzi
8m 2s main
main
8m 2s
Merge pull request #18 from tlaplus/fponzi/remove-ci-step Deploy to GitHub Pages #15: Commit a81218a pushed by FedericoPonzi
1m 12s main
main
1m 12s
Remove failing ci step CI #53: Pull request #18 opened by FedericoPonzi
6m 4s fponzi/remove-ci-step
fponzi/remove-ci-step
6m 4s
Merge pull request #15 from kant2002/patch-1 Deploy to GitHub Pages #14: Commit cd214a8 pushed by FedericoPonzi
1m 18s main
main
1m 18s
Merge pull request #15 from kant2002/patch-1 CI #52: Commit cd214a8 pushed by FedericoPonzi
6m 18s main
main
6m 18s
Fix formatting of the Java and C samples CI #51: Pull request #17 opened by kant2002
6m 43s kant2002:patch-2
kant2002:patch-2
6m 43s
Add missing step in the explanation CI #50: Pull request #15 opened by kant2002
8m 5s kant2002:patch-1
kant2002:patch-1
8m 5s
Merge pull request #13 from JalenEvans/jalenevans/expandable-output Deploy to GitHub Pages #13: Commit 3d76dc3 pushed by FedericoPonzi
1m 34s main
main
1m 34s
Merge pull request #13 from JalenEvans/jalenevans/expandable-output CI #49: Commit 3d76dc3 pushed by FedericoPonzi
6m 59s main
main
6m 59s
Jalenevans/expandable output CI #48: Pull request #13 synchronize by JalenEvans
8m 55s JalenEvans:jalenevans/expandable-output
JalenEvans:jalenevans/expandable-output
8m 55s
Running Copilot Code Review Copilot #1: by Copilot AI
3m 39s main
main
3m 39s
Jalenevans/expandable output CI #45: Pull request #13 opened by JalenEvans
8m 2s JalenEvans:jalenevans/expandable-output
JalenEvans:jalenevans/expandable-output
8m 2s
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