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

Various updates to CI scripts Check Specs & Metadata #328: Pull request #118 synchronize by ahelwer
February 8, 2024 21:25 22m 10s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 21:25 22m 10s
Various updates to CI scripts Check Specs & Metadata #327: Pull request #118 synchronize by ahelwer
February 8, 2024 21:18 5m 53s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 21:18 5m 53s
Various updates to CI scripts Check Specs & Metadata #326: Pull request #118 by ahelwer
February 8, 2024 21:14 Failure ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 21:14 Failure
Various updates to CI scripts Check Specs & Metadata #325: Pull request #118 synchronize by ahelwer
February 8, 2024 20:12 26m 1s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 20:12 26m 1s
Various updates to CI scripts Check Specs & Metadata #324: Pull request #118 synchronize by ahelwer
February 8, 2024 20:08 1m 37s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 20:08 1m 37s
Various updates to CI scripts Check Specs & Metadata #323: Pull request #118 synchronize by ahelwer
February 8, 2024 19:05 2m 33s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 19:05 2m 33s
Various updates to CI scripts Check Specs & Metadata #322: Pull request #118 synchronize by ahelwer
February 8, 2024 16:33 3m 46s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 16:33 3m 46s
Various updates to CI scripts Check Specs & Metadata #321: Pull request #118 synchronize by ahelwer
February 8, 2024 15:11 3m 14s ahelwer:ci-updates
ahelwer:ci-updates
February 8, 2024 15:11 3m 14s
tlaplus-dispatch Check Specs & Metadata #320: Repository dispatch triggered by lemmy
February 8, 2024 02:43 19m 15s
February 8, 2024 02:43 19m 15s
tlaplus-dispatch Check Specs & Metadata #319: Repository dispatch triggered by lemmy
February 7, 2024 06:10 23m 12s
February 7, 2024 06:10 23m 12s
Various updates to CI scripts Check Specs & Metadata #318: Pull request #118 opened by ahelwer
February 6, 2024 21:47 2m 20s ahelwer:ci-updates
ahelwer:ci-updates
February 6, 2024 21:47 2m 20s
tlaplus-dispatch Check Specs & Metadata #317: Repository dispatch triggered by lemmy
February 6, 2024 14:38 28m 57s
February 6, 2024 14:38 28m 57s
tlaplus-dispatch Check Specs & Metadata #316: Repository dispatch triggered by lemmy
February 5, 2024 21:20 19m 16s
February 5, 2024 21:20 19m 16s
tlaplus-dispatch Check Specs & Metadata #315: Repository dispatch triggered by lemmy
February 1, 2024 18:56 25m 14s
February 1, 2024 18:56 25m 14s
tlaplus-dispatch Check Specs & Metadata #314: Repository dispatch triggered by lemmy
February 1, 2024 18:55 23m 14s
February 1, 2024 18:55 23m 14s
Move some specs from remote spec table into local repo (#116) Check Specs & Metadata #313: Commit 789a653 pushed by ahelwer
February 1, 2024 16:31 24m 27s master
master
February 1, 2024 16:31 24m 27s
Move some specs from remote spec table into local repo Check Specs & Metadata #312: Pull request #116 synchronize by ahelwer
February 1, 2024 15:03 29m 12s ahelwer:remote-spec-table
ahelwer:remote-spec-table
February 1, 2024 15:03 29m 12s
Move some specs from remote spec table into local repo Check Specs & Metadata #311: Pull request #116 synchronize by ahelwer
January 31, 2024 23:10 23m 3s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 23:10 23m 3s
Move some specs from remote spec table into local repo Check Specs & Metadata #310: Pull request #116 synchronize by ahelwer
January 31, 2024 23:07 1m 37s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 23:07 1m 37s
Add Apalache checkmark for EinstinRiddle + comment (#117) Check Specs & Metadata #309: Commit 666625d pushed by ahelwer
January 31, 2024 23:01 23m 18s master
master
January 31, 2024 23:01 23m 18s
Move some specs from remote spec table into local repo Check Specs & Metadata #308: Pull request #116 synchronize by ahelwer
January 31, 2024 22:57 7m 11s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 22:57 7m 11s
Move some specs from remote spec table into local repo Check Specs & Metadata #307: Pull request #116 synchronize by ahelwer
January 31, 2024 15:35 25m 41s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 15:35 25m 41s
Move some specs from remote spec table into local repo Check Specs & Metadata #306: Pull request #116 synchronize by ahelwer
January 31, 2024 13:32 1h 6m 9s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 13:32 1h 6m 9s
Move some specs from remote spec table into local repo Check Specs & Metadata #305: Pull request #116 synchronize by ahelwer
January 31, 2024 13:21 1m 54s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 13:21 1m 54s
Add Apalache checkmark for EinstinRiddle + comment Check Specs & Metadata #304: Pull request #117 synchronize by nano-o
January 31, 2024 02:59 21m 40s nano-o:einstein
nano-o:einstein
January 31, 2024 02:59 21m 40s
ProTip! You can narrow down the results and go further in time using created:<2024-01-31 or the other filters available.