Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
429 workflow runs
429 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #447: Repository dispatch triggered by lemmy
April 11, 2024 21:28 12m 55s
April 11, 2024 21:28 12m 55s
tlaplus-dispatch Check Specs & Metadata #446: Repository dispatch triggered by lemmy
April 11, 2024 21:13 12m 57s
April 11, 2024 21:13 12m 57s
Test PlusCal translation in CI (#136) Check Specs & Metadata #445: Commit 41faafb pushed by ahelwer
April 11, 2024 00:04 12m 58s master
master
April 11, 2024 00:04 12m 58s
Test PlusCal translation in CI Check Specs & Metadata #444: Pull request #136 synchronize by ahelwer
April 10, 2024 23:48 12m 53s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 23:48 12m 53s
Test PlusCal translation in CI Check Specs & Metadata #443: Pull request #136 synchronize by ahelwer
April 10, 2024 23:42 4m 21s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 23:42 4m 21s
Test PlusCal translation in CI Check Specs & Metadata #442: Pull request #136 synchronize by ahelwer
April 10, 2024 23:25 13m 1s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 23:25 13m 1s
Test PlusCal translation in CI Check Specs & Metadata #441: Pull request #136 synchronize by ahelwer
April 10, 2024 22:16 13m 23s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 22:16 13m 23s
Test PlusCal translation in CI Check Specs & Metadata #440: Pull request #136 synchronize by ahelwer
April 10, 2024 21:52 13m 13s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 21:52 13m 13s
Test PlusCal translation in CI Check Specs & Metadata #439: Pull request #136 synchronize by ahelwer
April 10, 2024 21:04 13m 13s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 21:04 13m 13s
Test PlusCal translation in CI Check Specs & Metadata #438: Pull request #136 opened by ahelwer
April 10, 2024 21:00 4m 23s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 21:00 4m 23s
Add unicode testing to CI (#135) Check Specs & Metadata #437: Commit 2445ae9 pushed by ahelwer
April 10, 2024 20:43 13m 8s master
master
April 10, 2024 20:43 13m 8s
Add unicode testing to CI Check Specs & Metadata #436: Pull request #135 synchronize by ahelwer
April 10, 2024 20:04 11m 30s ahelwer:test-unicode
ahelwer:test-unicode
April 10, 2024 20:04 11m 30s
Add unicode testing to CI Check Specs & Metadata #435: Pull request #135 synchronize by ahelwer
April 10, 2024 19:55 9m 48s ahelwer:test-unicode
ahelwer:test-unicode
April 10, 2024 19:55 9m 48s
Add unicode testing to CI Check Specs & Metadata #434: Pull request #135 synchronize by ahelwer
April 10, 2024 19:46 8m 33s ahelwer:test-unicode
ahelwer:test-unicode
April 10, 2024 19:46 8m 33s
Add unicode testing to CI Check Specs & Metadata #433: Pull request #135 synchronize by ahelwer
April 10, 2024 19:44 2m 20s ahelwer:test-unicode
ahelwer:test-unicode
April 10, 2024 19:44 2m 20s
Add unicode testing to CI Check Specs & Metadata #432: Pull request #135 synchronize by ahelwer
April 10, 2024 18:38 1m 27s ahelwer:test-unicode
ahelwer:test-unicode
April 10, 2024 18:38 1m 27s
Add unicode testing to CI Check Specs & Metadata #431: Pull request #135 opened by ahelwer
April 10, 2024 18:36 13m 9s ahelwer:test-unicode
ahelwer:test-unicode
April 10, 2024 18:36 13m 9s
tlaplus-dispatch Check Specs & Metadata #430: Repository dispatch triggered by lemmy
April 10, 2024 17:34 12m 40s
April 10, 2024 17:34 12m 40s
tlaplus-dispatch Check Specs & Metadata #429: Repository dispatch triggered by lemmy
April 10, 2024 00:54 12m 59s
April 10, 2024 00:54 12m 59s
Create CITATION.cff Check Specs & Metadata #428: Commit e3b0575 pushed by lemmy
April 8, 2024 16:44 14m 10s master
master
April 8, 2024 16:44 14m 10s
tlaplus-dispatch Check Specs & Metadata #427: Repository dispatch triggered by lemmy
April 8, 2024 00:58 12m 51s
April 8, 2024 00:58 12m 51s
Print out TLC command on failure for ease of local reproducibility (#… Check Specs & Metadata #426: Commit 6bf37a8 pushed by ahelwer
April 7, 2024 14:09 12m 45s master
master
April 7, 2024 14:09 12m 45s
Print out TLC command on failure for ease of local reproducibility Check Specs & Metadata #425: Pull request #133 opened by ahelwer
April 7, 2024 13:52 12m 38s ahelwer:print-tlc-command
ahelwer:print-tlc-command
April 7, 2024 13:52 12m 38s
TCP according to RFC 9293. (#131) Check Specs & Metadata #424: Commit 33ff1af pushed by lemmy
April 6, 2024 23:41 12m 38s master
master
April 6, 2024 23:41 12m 38s
TCP according to RFC 9293. Check Specs & Metadata #423: Pull request #131 synchronize by lemmy
April 6, 2024 23:20 12m 23s lemmy:mku-tcp
lemmy:mku-tcp
April 6, 2024 23:20 12m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-04-06 or the other filters available.