Skip to content

Actions: prg-grp/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update preprint Deploy Jekyll site to Pages #163: Commit 70f8c8f pushed by davidspielmann
1m 9s master
master
1m 9s
announce hacking lab and update courses Deploy Jekyll site to Pages #162: Commit b298f43 pushed by geezee
58s master
master
58s
Update position and tenure details for Salvaneschi Deploy Jekyll site to Pages #161: Commit 8cae94e pushed by guidosalva
1m 59s master
master
1m 59s
Update organization of scientific events section Deploy Jekyll site to Pages #160: Commit 130f3ce pushed by guidosalva
57s master
master
57s
Update position and publications for Salvaneschi Deploy Jekyll site to Pages #159: Commit 4ba49a5 pushed by guidosalva
58s master
master
58s
Announce SE Deploy Jekyll site to Pages #158: Commit 858ec7e pushed by geezee
1m 8s master
master
1m 8s
fix bibliography Deploy Jekyll site to Pages #157: Commit dc01c7b pushed by davidspielmann
1m 0s master
master
1m 0s
remove twitter ref for spielmann Deploy Jekyll site to Pages #156: Commit 9d92c18 pushed by davidspielmann
1m 1s master
master
1m 1s
update metamorphic testing paper once again Deploy Jekyll site to Pages #155: Commit 5073a7e pushed by davidspielmann
53s master
master
53s
update metamorphic testing paper pdf Deploy Jekyll site to Pages #154: Commit ea1e279 pushed by davidspielmann
1m 0s master
master
1m 0s
announce accepted oopsla paper Deploy Jekyll site to Pages #153: Commit 2be2862 pushed by davidspielmann
2m 0s master
master
2m 0s
SRC George news Deploy Jekyll site to Pages #152: Commit 5ce1063 pushed by geezee
1m 7s master
master
1m 7s
add new CYD project Deploy Jekyll site to Pages #151: Commit 10bcfcc pushed by davidspielmann
57s master
master
57s
CAPE news + SRC Deploy Jekyll site to Pages #150: Commit 2e7c965 pushed by geezee
1m 12s master
master
1m 12s
some news annoucements and CAPE paper Deploy Jekyll site to Pages #149: Commit 3a5b4fa pushed by geezee
1m 3s master
master
1m 3s
Update event date for Swiss Verification Day 2026 Deploy Jekyll site to Pages #148: Commit 1374cca pushed by guidosalva
57s master
master
57s
Update links to open in new tab for SVD event Deploy Jekyll site to Pages #147: Commit 736218a pushed by guidosalva
1m 5s master
master
1m 5s
Add metadata to SVD organization announcement Deploy Jekyll site to Pages #146: Commit 88d7c02 pushed by guidosalva
58s master
master
58s
Add announcement for Swiss Verification Day 2026 Deploy Jekyll site to Pages #145: Commit 4be7292 pushed by guidosalva
1m 58s master
master
1m 58s
Add ECOOP'26 PC Deploy Jekyll site to Pages #144: Commit 10e9ad4 pushed by guidosalva
1m 17s master
master
1m 17s
davide visit, luca fellowship, multitire done, archive nafise Deploy Jekyll site to Pages #143: Commit ae76910 pushed by geezee
1m 9s master
master
1m 9s
bibliography tweaks Deploy Jekyll site to Pages #142: Commit b323dca pushed by pweisenburger
2m 5s master
master
2m 5s
Added courses, CAPE paper, DARE news, and removed Alessio Deploy Jekyll site to Pages #141: Commit dcff227 pushed by geezee
1m 2s master
master
1m 2s
update PCs Deploy Jekyll site to Pages #140: Commit c989bd3 pushed by guidosalva
2m 0s master
master
2m 0s
Revert "Revert "Added Luca and remove Timo"" Deploy Jekyll site to Pages #139: Commit cf8d2dd pushed by geezee
1m 55s master
master
1m 55s