Skip to content

Actions: tlaplus/conf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #105: by github-pages bot
53s gh-pages
gh-pages
53s
Move schedule up now that the logistics no longer matter. github pages #168: Commit 8984b1a pushed by lemmy
34s master
master
34s
pages build and deployment pages-build-deployment #104: by github-pages bot
53s gh-pages
gh-pages
53s
Last slide deck 2025 github pages #167: Commit c6ec0d7 pushed by lemmy
28s master
master
28s
pages build and deployment pages-build-deployment #103: by github-pages bot
54s gh-pages
gh-pages
54s
Next batch of talks and slides github pages #166: Commit 71eff77 pushed by lemmy
29s master
master
29s
pages build and deployment pages-build-deployment #102: by github-pages bot
55s gh-pages
gh-pages
55s
First batch of talk recordings github pages #165: Commit 48aed06 pushed by lemmy
28s master
master
28s
pages build and deployment pages-build-deployment #101: by github-pages bot
59s gh-pages
gh-pages
59s
Upload first set of slides TLA+ Community Event 2025 github pages #164: Commit ad487c1 pushed by lemmy
30s master
master
30s
pages build and deployment pages-build-deployment #100: by github-pages bot
48s gh-pages
gh-pages
48s
Links to two recordings github pages #163: Commit 9edadc4 pushed by lemmy
27s master
master
27s
pages build and deployment pages-build-deployment #99: by github-pages bot
45s gh-pages
gh-pages
45s
Typos github pages #162: Commit 3d138c7 pushed by lemmy
27s master
master
27s
pages build and deployment pages-build-deployment #98: by github-pages bot
52s gh-pages
gh-pages
52s
This is a scheduled Ubuntu 20.04 retirement. Ubuntu 20.04 LTS runner … github pages #161: Commit 5c3bb8e pushed by lemmy
24s master
master
24s
Plan around ETAPS logistics github pages #160: Commit 560e87c pushed by lemmy
2s master
master
2s
pages build and deployment pages-build-deployment #97: by github-pages bot
46s gh-pages
gh-pages
46s
Corrected wrong URL to Murat's linkedin profile. github pages #159: Commit 6a46ccf pushed by lemmy
37s master
master
37s
pages build and deployment pages-build-deployment #96: by github-pages bot
50s gh-pages
gh-pages
50s
Give write permissions to fix issue invoking git github pages #158: Commit b76efd8 pushed by lemmy
28s master
master
28s
Add Murat to the list of organizers github pages #157: Commit ee8efe2 pushed by lemmy
29s master
master
29s
First version of TLA+ Community Event schedule github pages #156: Pull request #4 synchronize by lemmy
16s mku-2025etaps
mku-2025etaps
16s
First version of TLA+ Community Event schedule github pages #155: Pull request #4 synchronize by lemmy
17s mku-2025etaps
mku-2025etaps
17s
First version of TLA+ Community Event schedule github pages #154: Pull request #4 synchronize by lemmy
23s mku-2025etaps
mku-2025etaps
23s