Skip to content

Actions: lemmy/CCF

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Long Test
Long Test #10: Scheduled
October 18, 2024 00:27 4s main
October 18, 2024 00:27 4s
Long Test
Long Test #9: Scheduled
October 17, 2024 00:27 3s main
October 17, 2024 00:27 3s
Long Test
Long Test #8: Scheduled
October 16, 2024 00:27 4s main
October 16, 2024 00:27 4s
Long Test
Long Test #7: Scheduled
October 15, 2024 00:27 3s main
October 15, 2024 00:27 3s
Long Test
Long Test #6: Scheduled
October 14, 2024 00:28 3s main
October 14, 2024 00:28 3s
Long Verification
Long Verification #2: Scheduled
October 13, 2024 00:31 1s main
October 13, 2024 00:31 1s
Continuous Verification
Continuous Verification #2: Scheduled
October 13, 2024 00:30 1d 17h 53m 28s main
October 13, 2024 00:30 1d 17h 53m 28s
Continuous Integration
Continuous Integration #2: Scheduled
October 13, 2024 00:10 1d 18h 13m 23s main
October 13, 2024 00:10 1d 18h 13m 23s
Long Test
Long Test #5: Scheduled
October 11, 2024 00:26 3s main
October 11, 2024 00:26 3s
Long Test
Long Test #4: Scheduled
October 10, 2024 00:26 2s main
October 10, 2024 00:26 2s
Release notes for 6.0.0-dev1 (#6542)
Bencher: Run Benchmarks #2: Commit c70e2be pushed by lemmy
October 9, 2024 04:39 1d 13h 45m 5s main
October 9, 2024 04:39 1d 13h 45m 5s
Release notes for 6.0.0-dev1 (#6542)
Doc #2: Commit c70e2be pushed by lemmy
October 9, 2024 04:39 54s main
October 9, 2024 04:39 54s
Long Test
Long Test #3: Scheduled
October 9, 2024 00:27 4s main
October 9, 2024 00:27 4s
Long Test
Long Test #2: Scheduled
October 8, 2024 00:27 4s main
October 8, 2024 00:27 4s
Long Test
Long Test #1: Scheduled
October 7, 2024 00:28 3s main
October 7, 2024 00:28 3s
Long Verification
Long Verification #1: Scheduled
October 6, 2024 00:31 3s main
October 6, 2024 00:31 3s
Continuous Verification
Continuous Verification #1: Scheduled
October 6, 2024 00:31 1d 17h 53m 12s main
October 6, 2024 00:31 1d 17h 53m 12s
Continuous Integration
Continuous Integration #1: Scheduled
October 6, 2024 00:10 1d 18h 13m 24s main
October 6, 2024 00:10 1d 18h 13m 24s
Remove SGX base image building (#6525)
Doc #1: Commit 81943ea pushed by lemmy
October 4, 2024 16:59 22s main
October 4, 2024 16:59 22s
Remove SGX base image building (#6525)
Bencher: Run Benchmarks #1: Commit 81943ea pushed by lemmy
October 4, 2024 16:59 15s main
October 4, 2024 16:59 15s
messin around to make tla-web work
TLA+ Spec Verification #267: Commit a632923 pushed by lemmy
May 7, 2024 00:25 1d 17h 59m 13s main
May 7, 2024 00:25 1d 17h 59m 13s
messin around to make tla-web work
Format and License Checks #76: Commit a632923 pushed by lemmy
May 7, 2024 00:25 2m 33s main
May 7, 2024 00:25 2m 33s
tla-web
TLA+ Spec Verification #266: Commit 1bce815 pushed by lemmy
May 6, 2024 23:39 1d 18h 44m 54s main
May 6, 2024 23:39 1d 18h 44m 54s
tla-web
Format and License Checks #75: Commit 1bce815 pushed by lemmy
May 6, 2024 23:39 2m 42s main
May 6, 2024 23:39 2m 42s
Create TLAWeb.tla
Format and License Checks #74: Commit ff34af3 pushed by lemmy
May 6, 2024 23:37 2m 38s main
May 6, 2024 23:37 2m 38s