Use fetchpatch2 instead of builtins.fetchurl #215

Sign in to view logs

Triggered via push July 24, 2023 18:18

main

Status Success

Total duration 5m 4s

Artifacts –

doc.yml

on: push

build doc and deploy to gh pages