Skip to content

Actions: tlaplus/conf

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rephrased overall home page to be generic github pages #170: Commit 4a80534 pushed by muenchnerkindl
30s master
master
30s
Web page for 2026 Community Event github pages #169: Commit d918101 pushed by muenchnerkindl
32s master
master
32s
Move schedule up now that the logistics no longer matter. github pages #168: Commit 8984b1a pushed by lemmy
34s master
master
34s
Last slide deck 2025 github pages #167: Commit c6ec0d7 pushed by lemmy
28s master
master
28s
Next batch of talks and slides github pages #166: Commit 71eff77 pushed by lemmy
29s master
master
29s
First batch of talk recordings github pages #165: Commit 48aed06 pushed by lemmy
28s master
master
28s
Upload first set of slides TLA+ Community Event 2025 github pages #164: Commit ad487c1 pushed by lemmy
30s master
master
30s
Links to two recordings github pages #163: Commit 9edadc4 pushed by lemmy
27s master
master
27s
Typos github pages #162: Commit 3d138c7 pushed by lemmy
27s master
master
27s
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
Corrected wrong URL to Murat's linkedin profile. github pages #159: Commit 6a46ccf pushed by lemmy
37s master
master
37s
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
First version of TLA+ Community Event schedule github pages #153: Pull request #4 synchronize by lemmy
17s mku-2025etaps
mku-2025etaps
17s
First version of TLA+ Community Event schedule github pages #152: Pull request #4 opened by lemmy
21s mku-2025etaps
mku-2025etaps
21s
extended deadline github pages #151: Commit a3ac766 pushed by muenchnerkindl
32s master
master
32s