Skip to content

Actions: tlaplus/conf

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
26 workflow runs
26 workflow runs

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
Added video links for all presentations in the 2026 ETAPS schedule. github pages #185: Commit a94cc06 pushed by lemmy
42s master
master
42s
Added video links for all presentations in the 2026 ETAPS schedule. github pages #184: Pull request #5 reopened by lemmy
25s mku-conf2026
mku-conf2026
25s
Added video links for all presentations in the 2026 ETAPS schedule. github pages #183: Pull request #5 synchronize by lemmy
25s mku-conf2026
mku-conf2026
25s
Added video links for all presentations in the 2026 ETAPS schedule. github pages #182: Pull request #5 opened by lemmy
25s mku-conf2026
mku-conf2026
25s
remaining slides github pages #181: Commit c21e4cf pushed by muenchnerkindl
29s master
master
29s
more slides github pages #180: Commit 0fe4d81 pushed by muenchnerkindl
35s master
master
35s
slides github pages #179: Commit 56976d8 pushed by muenchnerkindl
29s master
master
29s
added zoom link github pages #178: Commit d5b8aeb pushed by muenchnerkindl
33s master
master
33s
replaced speaker for P2P2P github pages #177: Commit 6f75202 pushed by muenchnerkindl
32s master
master
32s
typo github pages #176: Commit 3e17812 pushed by muenchnerkindl
29s master
master
29s
added Pirlea's presentation github pages #175: Commit 76d7a5e pushed by muenchnerkindl
31s master
master
31s
schedule for 2026 Community Meeting github pages #174: Commit 7d839ca pushed by muenchnerkindl
1m 26s master
master
1m 26s
Merge branch 'master' of github.com:tlaplus/conf github pages #173: Commit 658ac66 pushed by muenchnerkindl
34s master
master
34s
Lower weight to make 2026 appear at the top of the sidebar github pages #172: Commit 95ed102 pushed by lemmy
31s master
master
31s
accepted presentations ETAPS 2026 github pages #171: Commit 63d2c86 pushed by muenchnerkindl
35s master
master
35s
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