Skip to content

Actions: servo/rust-url

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
546 workflow runs
546 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix multiple issues on wasm32: (#886)
Coverage #530: Commit 49eea1c pushed by github-merge-queue bot
April 4, 2024 08:03 49s main
April 4, 2024 08:03 49s
Fix multiple issues on wasm32: (#886)
CI #581: Commit 49eea1c pushed by github-merge-queue bot
April 4, 2024 08:03 2m 29s main
April 4, 2024 08:03 2m 29s
CI
CI #580: Merge group checks requested
April 4, 2024 08:01 2m 17s
April 4, 2024 08:01 2m 17s
Use web_sys::Url for IDN conversion on wasm32-unknown-unknown
CI #579: Pull request #887 synchronize by micolous
April 3, 2024 23:58 2m 26s micolous:wasm
April 3, 2024 23:58 2m 26s
Use web_sys::Url for IDN conversion on wasm32-unknown-unknown
Coverage #529: Pull request #887 synchronize by micolous
April 3, 2024 23:58 56s micolous:wasm
April 3, 2024 23:58 56s
Fix multiple issues on wasm32, and runs url tests in CI
CI #578: Pull request #886 synchronize by micolous
April 3, 2024 23:57 2m 20s micolous:wasm-tests
April 3, 2024 23:57 2m 20s
Fix multiple issues on wasm32, and runs url tests in CI
Coverage #528: Pull request #886 synchronize by micolous
April 3, 2024 23:57 1m 0s micolous:wasm-tests
April 3, 2024 23:57 1m 0s
Non-special URLs can have their paths erased
Coverage #527: Pull request #921 opened by DylanOToole2
April 2, 2024 19:26 25s DylanOToole2:main
April 2, 2024 19:26 25s
Fix lint (#920)
CI #575: Commit a4dd58b pushed by github-merge-queue bot
April 2, 2024 10:49 2m 32s main
April 2, 2024 10:49 2m 32s
Fix lint (#920)
Coverage #525: Commit a4dd58b pushed by github-merge-queue bot
April 2, 2024 10:49 54s main
April 2, 2024 10:49 54s
CI
CI #574: Merge group checks requested
April 2, 2024 10:46 2m 43s
April 2, 2024 10:46 2m 43s
Fix lint
Coverage #524: Pull request #920 opened by valenting
April 2, 2024 09:30 58s fix_lint
April 2, 2024 09:30 58s
Fix lint
CI #573: Pull request #920 opened by valenting
April 2, 2024 09:30 2m 27s fix_lint
April 2, 2024 09:30 2m 27s
Non-special URLs can have their paths erased
Coverage #523: Pull request #919 opened by DylanOToole2
April 1, 2024 21:08 1m 3s DylanOToole2:main
April 1, 2024 21:08 1m 3s
Non-special URLs can have their paths erased
CI #572: Pull request #919 opened by DylanOToole2
April 1, 2024 21:08 2m 18s DylanOToole2:main
April 1, 2024 21:08 2m 18s
Update URLs (#916)
CI #570: Commit 73803fa pushed by github-merge-queue bot
March 22, 2024 19:05 2m 10s main
March 22, 2024 19:05 2m 10s
Update URLs (#916)
Coverage #521: Commit 73803fa pushed by github-merge-queue bot
March 22, 2024 19:05 58s main
March 22, 2024 19:05 58s
CI
CI #569: Merge group checks requested
March 22, 2024 18:58 6m 56s
March 22, 2024 18:58 6m 56s
Update URLs
Coverage #520: Pull request #916 opened by atouchet
March 22, 2024 17:32 1m 1s atouchet:bnch
March 22, 2024 17:32 1m 1s
Update URLs
CI #568: Pull request #916 opened by atouchet
March 22, 2024 17:32 2m 7s atouchet:bnch
March 22, 2024 17:32 2m 7s
Add bench for to_ascii on an already-Punycode name (#915)
CI #567: Commit 8e4331d pushed by github-merge-queue bot
March 22, 2024 11:02 2m 4s main
March 22, 2024 11:02 2m 4s
Add bench for to_ascii on an already-Punycode name (#915)
Coverage #519: Commit 8e4331d pushed by github-merge-queue bot
March 22, 2024 11:02 52s main
March 22, 2024 11:02 52s
ProTip! You can narrow down the results and go further in time using created:<2024-03-22 or the other filters available.