Skip to content
Deploy documentation to GH Pages

enhance docs/WAIVERS.md, describe the waiving algorithm #112

Sign in to view logs

enhance docs/WAIVERS.md, describe the waiving algorithm

enhance docs/WAIVERS.md, describe the waiving algorithm #112

Triggered via push July 2, 2024 12:05
@matusmarhefkamatusmarhefka
pushed 2232c44
main
Status Success
Total duration 51s
Artifacts –

pages.yaml

on: push
build
21s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in