Skip to content

Actions: SOF3/dynec

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #259: by github-pages bot
September 29, 2023 13:44 8m 45s gh-pages
September 29, 2023 13:44 8m 45s
pages build and deployment
pages-build-deployment #258: by github-pages bot
September 29, 2023 13:32 10m 56s gh-pages
September 29, 2023 13:32 10m 56s
ci: do not skip miri tests now that they are fast
benchmark #76: Commit ad37221 pushed by SOF3
September 29, 2023 13:30 30m 56s master
September 29, 2023 13:30 30m 56s
ci: do not skip miri tests now that they are fast
CI #258: Commit ad37221 pushed by SOF3
September 29, 2023 13:30 3m 49s master
September 29, 2023 13:30 3m 49s
ci: do not skip miri tests now that they are fast
Docs build #233: Commit ad37221 pushed by SOF3
September 29, 2023 13:30 2m 15s master
September 29, 2023 13:30 2m 15s
pages build and deployment
pages-build-deployment #257: by github-pages bot
September 29, 2023 13:16 12m 27s gh-pages
September 29, 2023 13:16 12m 27s
Parallel accessors
CI #257: Pull request #50 synchronize by SOF3
September 29, 2023 13:13 2m 37s issues/26
September 29, 2023 13:13 2m 37s
ci: do not skip miri tests now that they are fast
Docs build #232: Commit ad37221 pushed by SOF3
September 29, 2023 13:13 2m 56s issues/26
September 29, 2023 13:13 2m 56s
ci: do not skip miri tests now that they are fast
benchmark #75: Commit ad37221 pushed by SOF3
September 29, 2023 13:13 30m 47s issues/26
September 29, 2023 13:13 30m 47s
pages build and deployment
pages-build-deployment #256: by github-pages bot
September 29, 2023 04:02 11m 9s gh-pages
September 29, 2023 04:02 11m 9s
pages build and deployment
pages-build-deployment #255: by github-pages bot
September 29, 2023 04:01 1m 3s gh-pages
September 29, 2023 04:01 1m 3s
pages build and deployment
pages-build-deployment #254: by github-pages bot
September 29, 2023 03:31 9m 0s gh-pages
September 29, 2023 03:31 9m 0s
pages build and deployment
pages-build-deployment #253: by github-pages bot
September 29, 2023 03:30 1m 27s gh-pages
September 29, 2023 03:30 1m 27s
Parallel accessors
CI #256: Pull request #50 synchronize by SOF3
September 29, 2023 03:28 2m 28s issues/26
September 29, 2023 03:28 2m 28s
Merge branch 'master' into issues/26
benchmark #74: Commit 4f437d8 pushed by SOF3
September 29, 2023 03:28 34m 12s issues/26
September 29, 2023 03:28 34m 12s
Merge branch 'master' into issues/26
Docs build #231: Commit 4f437d8 pushed by SOF3
September 29, 2023 03:28 2m 59s issues/26
September 29, 2023 03:28 2m 59s
Fixed bench-branch failing on branch names with slashes
CI #255: Commit e137e49 pushed by SOF3
September 29, 2023 03:27 6m 22s master
September 29, 2023 03:27 6m 22s
Fixed bench-branch failing on branch names with slashes
Docs build #230: Commit e137e49 pushed by SOF3
September 29, 2023 03:27 2m 31s master
September 29, 2023 03:27 2m 31s
Fixed bench-branch failing on branch names with slashes
benchmark #73: Commit e137e49 pushed by SOF3
September 29, 2023 03:27 34m 10s master
September 29, 2023 03:27 34m 10s
pages build and deployment
pages-build-deployment #252: by github-pages bot
September 28, 2023 15:58 9m 2s gh-pages
September 28, 2023 15:58 9m 2s
Parallel accessors
CI #254: Pull request #50 synchronize by SOF3
September 28, 2023 15:55 2m 10s issues/26
September 28, 2023 15:55 2m 10s
feat: add par_iter_chunks_mut
Docs build #229: Commit b4d38ed pushed by SOF3
September 28, 2023 15:55 2m 40s issues/26
September 28, 2023 15:55 2m 40s
feat: add par_iter_chunks_mut
benchmark #72: Commit b4d38ed pushed by SOF3
September 28, 2023 15:55 31m 20s issues/26
September 28, 2023 15:55 31m 20s
pages build and deployment
pages-build-deployment #251: by github-pages bot
September 22, 2023 01:54 9m 22s gh-pages
September 22, 2023 01:54 9m 22s
Parallel accessors
CI #253: Pull request #50 synchronize by SOF3
September 22, 2023 01:52 2m 5s issues/26
September 22, 2023 01:52 2m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-09-22 or the other filters available.