Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
530 workflow runs
530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Part of https://github.com/tlaplus/Examples/commit/28ed85223ca6752d62… Check Specs & Metadata #354: Commit 70291b4 pushed by lemmy
March 11, 2024 19:17 12m 32s master
master
March 11, 2024 19:17 12m 32s
tlaplus-dispatch Check Specs & Metadata #353: Repository dispatch triggered by lemmy
March 11, 2024 19:17 2m 52s
March 11, 2024 19:17 2m 52s
Tag EWD687a a beginner spec. Check Specs & Metadata #352: Commit 28ed852 pushed by lemmy
March 11, 2024 19:13 1m 46s master
master
March 11, 2024 19:13 1m 46s
tlaplus-dispatch Check Specs & Metadata #351: Repository dispatch triggered by lemmy
March 11, 2024 16:32 12m 56s
March 11, 2024 16:32 12m 56s
tlaplus-dispatch Check Specs & Metadata #350: Repository dispatch triggered by lemmy
March 9, 2024 06:11 12m 53s
March 9, 2024 06:11 12m 53s
tlaplus-dispatch Check Specs & Metadata #349: Repository dispatch triggered by lemmy
March 8, 2024 21:05 13m 3s
March 8, 2024 21:05 13m 3s
tlaplus-dispatch Check Specs & Metadata #348: Repository dispatch triggered by lemmy
March 8, 2024 03:40 12m 51s
March 8, 2024 03:40 12m 51s
tlaplus-dispatch Check Specs & Metadata #347: Repository dispatch triggered by lemmy
March 6, 2024 16:22 12m 21s
March 6, 2024 16:22 12m 21s
add README to YoYo example Check Specs & Metadata #346: Commit 133914b pushed by muenchnerkindl
March 5, 2024 09:14 12m 18s master
master
March 5, 2024 09:14 12m 18s
YoYo leader election algorithm (#124) Check Specs & Metadata #345: Commit bbd3768 pushed by ahelwer
March 4, 2024 19:45 12m 33s master
master
March 4, 2024 19:45 12m 33s
YoYo leader election algorithm Check Specs & Metadata #344: Pull request #124 synchronize by muenchnerkindl
March 4, 2024 16:16 12m 7s yoyo
yoyo
March 4, 2024 16:16 12m 7s
YoYo leader election algorithm Check Specs & Metadata #343: Pull request #124 synchronize by muenchnerkindl
March 4, 2024 16:02 1m 31s yoyo
yoyo
March 4, 2024 16:02 1m 31s
YoYo leader election algorithm Check Specs & Metadata #342: Pull request #124 opened by muenchnerkindl
March 4, 2024 14:52 1m 43s yoyo
yoyo
March 4, 2024 14:52 1m 43s
Record state count info in manifest, check during CI (#122) Check Specs & Metadata #341: Commit b7d2d8c pushed by ahelwer
February 22, 2024 15:24 13m 5s master
master
February 22, 2024 15:24 13m 5s
Record state count info in manifest, check during CI Check Specs & Metadata #340: Pull request #122 synchronize by ahelwer
February 21, 2024 23:23 12m 30s ahelwer:add-state-count
ahelwer:add-state-count
February 21, 2024 23:23 12m 30s
Record state count info in manifest, check during CI Check Specs & Metadata #339: Pull request #122 synchronize by ahelwer
February 21, 2024 23:13 7m 24s ahelwer:add-state-count
ahelwer:add-state-count
February 21, 2024 23:13 7m 24s
Record state count info in manifest, check during CI Check Specs & Metadata #338: Pull request #122 opened by ahelwer
February 21, 2024 21:01 8m 40s ahelwer:add-state-count
ahelwer:add-state-count
February 21, 2024 21:01 8m 40s
Add Practical SMR-system-style MultiPaxos Spec (#121) Check Specs & Metadata #337: Commit cf8313d pushed by ahelwer
February 20, 2024 11:58 22m 28s master
master
February 20, 2024 11:58 22m 28s
Add Practical SMR-system-style MultiPaxos Spec Check Specs & Metadata #336: Pull request #121 synchronize by josehu07
February 20, 2024 08:40 21m 52s josehu07:master
josehu07:master
February 20, 2024 08:40 21m 52s
tlaplus-dispatch Check Specs & Metadata #334: Repository dispatch triggered by lemmy
February 19, 2024 01:56 21m 30s
February 19, 2024 01:56 21m 30s
tlaplus-dispatch Check Specs & Metadata #333: Repository dispatch triggered by lemmy
February 16, 2024 17:54 22m 9s
February 16, 2024 17:54 22m 9s
tlaplus-dispatch Check Specs & Metadata #332: Repository dispatch triggered by lemmy
February 12, 2024 23:08 21m 47s
February 12, 2024 23:08 21m 47s
tlaplus-dispatch Check Specs & Metadata #331: Repository dispatch triggered by lemmy
February 12, 2024 02:07 21m 40s
February 12, 2024 02:07 21m 40s
tlaplus-dispatch Check Specs & Metadata #330: Repository dispatch triggered by lemmy
February 10, 2024 16:06 21m 40s
February 10, 2024 16:06 21m 40s
Various updates to CI scripts (#118) Check Specs & Metadata #329: Commit 46bd732 pushed by ahelwer
February 8, 2024 21:49 22m 1s master
master
February 8, 2024 21:49 22m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-02-08 or the other filters available.