Fix smtcomp slides (#218) · SMT-COMP/smt-comp.github.io@b0faba0

Triggered via push August 14, 2025 11:12

master

Status Success

Total duration 3m 1s

Artifacts 1

deploy-website.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	61.9 MB	`sha256:e7d2bbf8917fd0a0c4fbe905a7063b8fff6486f026281377f066f7bc6a9371c4`