Skip to content
Deploy Jekyll site to Pages

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedF… #360

Sign in to view logs

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedF…

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedF… #360

Triggered via push October 29, 2024 18:29
@MikaelMayerMikaelMayer
pushed 77cb3ba
master
Status Success
Total duration 46s
Artifacts –

jekyll.yml

on: push
build
17s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in