Skip to content

Actions: microsoft/mimalloc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
454 workflow runs
454 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Close inactive issues Close inactive issues #10: Scheduled
17s main
main
17s
fix assertion failure Test #194: Commit e504759 pushed by daanx
16m 50s dev3
dev3
16m 50s
allow initial main thread to terminate before the process terminates … Test #193: Commit b92c116 pushed by daanx
59s dev3
dev3
59s
Close inactive issues Close inactive issues #9: Scheduled
32s main
main
32s
Close inactive issues Close inactive issues #8: Scheduled
32m 6s main
main
32m 6s
Scheduled CodeQL #53: by github-advanced-security AI
1m 48s main
main
1m 48s
more assertions Test #192: Commit 7e6c550 pushed by daanx
5m 42s dev3
dev3
5m 42s
Close inactive issues Close inactive issues #7: Scheduled
1m 2s main
main
1m 2s
Close inactive issues Close inactive issues #6: Scheduled
31s main
main
31s
Merge branch 'dev' into dev3 Test #191: Commit 8e4230a pushed by daanx
5m 35s dev3
dev3
5m 35s
remove wchar.h include from mimalloc.h (see also issue leanprover/lea… Test #190: Commit 64b0a02 pushed by daanx
5m 28s dev
dev
5m 28s
pages build and deployment pages-build-deployment #334: by daanx
46s dev
dev
46s
Close inactive issues Close inactive issues #5: Scheduled
25s main
main
25s
Close inactive issues Close inactive issues #4: Scheduled
23s main
main
23s
Close inactive issues Close inactive issues #3: Scheduled
26s main
main
26s
Close inactive issues Close inactive issues #2: Scheduled
3m 26s main
main
3m 26s
Push on main CodeQL #52: by github-advanced-security AI
2m 7s main
main
2m 7s
PR #1284 CodeQL #51: by daanx
1m 40s refs/pull/1284/head
refs/pull/1284/head
1m 40s
Merge branch 'dev2' into dev-main Test #189: Commit da23e1a pushed by daanx
6m 27s dev-main
dev-main
6m 27s
Release Release #17: Manually run by daanx
10m 37s dev
dev
10m 37s
merge from dev, bump version to v3.3.2 Test #188: Commit 30b2d9d pushed by daanx
5m 30s v3.3.2
v3.3.2
5m 30s
bump version to v2.3.2 Test #187: Commit 02a2f5d pushed by daanx
6m 22s v2.3.2
v2.3.2
6m 22s
bump version to v1.9.10 Test #186: Commit 24ef7bd pushed by daanx
5m 1s v1.9.10
v1.9.10
5m 1s
bump version to v2.3.2 Test #185: Commit 02a2f5d pushed by daanx
6m 37s dev2
dev2
6m 37s
merge from dev, bump version to v3.3.2 Test #184: Commit 30b2d9d pushed by daanx
5m 46s dev3
dev3
5m 46s