Flip back submodule #927
Triggered via pull request
December 19, 2024 22:20
pennyannn
Status
Success
Total duration
31m 51s
Artifacts
–
main.yml
on: pull_request
saw-x86_64
10m 23s
saw-x86_64-aes-gcm
30m 26s
saw-aarch64
3m 43s
coq
29m 15s
nsym
10m 27s