Skip to content

Actions: tlaplus/foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update section title for SANY improvements GitHub Pages #117: Pull request #39 opened by lemmy
1m 47s lemmy-patch-1
lemmy-patch-1
1m 47s
pages build and deployment pages-build-deployment #75: by github-pages bot
28s gh-pages
gh-pages
28s
Enhance grant recipients page with detailed project descriptions. GitHub Pages #116: Commit 9b0f0ee pushed by lemmy
1m 48s main
main
1m 48s
pages build and deployment pages-build-deployment #74: by github-pages bot
23s gh-pages
gh-pages
23s
Hugo doesn't build pages from the future GitHub Pages #115: Commit 9d27d6b pushed by lemmy
1m 44s main
main
1m 44s
pages build and deployment pages-build-deployment #73: by github-pages bot
25s gh-pages
gh-pages
25s
Create grant-recipients.md GitHub Pages #114: Commit 3525ca6 pushed by taylorwaggoner
1m 52s main
main
1m 52s
pages build and deployment pages-build-deployment #72: by github-pages bot
26s gh-pages
gh-pages
26s
The TLA+ foundation grant program is an ongoing effort GitHub Pages #113: Commit ac6c0ae pushed by lemmy
2m 2s main
main
2m 2s
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