Skip to content

Actions: tlaplus/foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #71: by github-pages bot
31s gh-pages
gh-pages
31s
Merge pull request #38 from tlaplus/remove-date GitHub Pages #112: Commit 57b6dfa pushed by hythloda
1m 46s main
main
1m 46s
remove date from copywrite GitHub Pages #111: Pull request #38 opened by hythloda
1m 37s remove-date
remove-date
1m 37s
pages build and deployment pages-build-deployment #70: by github-pages bot
25s gh-pages
gh-pages
25s
Add Specula winners image and update image GitHub Pages #110: Commit 3e8408a pushed by lemmy
1m 31s main
main
1m 31s
pages build and deployment pages-build-deployment #69: by github-pages bot
43s gh-pages
gh-pages
43s
Fix email address in contact section GitHub Pages #109: Commit d9cfd79 pushed by lemmy
1m 28s main
main
1m 28s
pages build and deployment pages-build-deployment #68: by github-pages bot
22s gh-pages
gh-pages
22s
Change email address in contact section GitHub Pages #108: Commit dd1b49c pushed by lemmy
1m 28s main
main
1m 28s
pages build and deployment pages-build-deployment #67: by github-pages bot
28s gh-pages
gh-pages
28s
Update contact information for inquiries GitHub Pages #107: Commit 9c930fe pushed by lemmy
1m 23s main
main
1m 23s
pages build and deployment pages-build-deployment #66: by github-pages bot
32s gh-pages
gh-pages
32s
Add a contact section to our landing page. GitHub Pages #106: Commit 8090f08 pushed by lemmy
1m 26s main
main
1m 26s
pages build and deployment pages-build-deployment #65: by github-pages bot
28s gh-pages
gh-pages
28s
Consistently use TLA⁺ instead of TLA+, which seems to have fallen out… GitHub Pages #105: Commit 8c3fae2 pushed by lemmy
1m 18s main
main
1m 18s
Document Google's use of TLA+ for verification GitHub Pages #104: Pull request #33 synchronize by lemmy
1m 18s mku-google
mku-google
1m 18s
Document Google's use of TLA+ for verification GitHub Pages #103: Pull request #33 synchronize by lemmy
1m 23s mku-google
mku-google
1m 23s
pages build and deployment pages-build-deployment #64: by github-pages bot
24s gh-pages
gh-pages
24s
Add OCI use TLA+. GitHub Pages #102: Commit 2c5a170 pushed by lemmy
1m 19s main
main
1m 19s
Add OCI use TLA+. GitHub Pages #101: Pull request #36 opened by lemmy
1m 25s mku-oci
mku-oci
1m 25s
pages build and deployment pages-build-deployment #63: by github-pages bot
24s gh-pages
gh-pages
24s
Add MongoDB section on industrial use of TLA+ GitHub Pages #100: Commit d90e51d pushed by lemmy
1m 21s main
main
1m 21s
Condense lines GitHub Pages #99: Commit fdae166 pushed by lemmy
29s main
main
29s
Add draft of MongoDB section on industrial use of TLA+ GitHub Pages #98: Pull request #34 synchronize by will62794
1m 20s will62794:mongodb
will62794:mongodb
1m 20s
Add draft of MongoDB section on industrial use of TLA+ GitHub Pages #96: Pull request #34 synchronize by will62794
1m 17s will62794:mongodb
will62794:mongodb
1m 17s