Skip to content
Run Update Script

Merge pull request #256 from theosotr/popl-seminar #24

Sign in to view logs

Merge pull request #256 from theosotr/popl-seminar

Merge pull request #256 from theosotr/popl-seminar #24

Triggered via push December 14, 2023 10:10
@dspinellisdspinellis
pushed 3a8b116
master
Status Success
Total duration 35s
Artifacts –

update.yml

on: push
update
26s
update
Fit to window
Zoom out
Zoom in