Skip to content

Actions: prg-grp/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: add smart-egraphs project Deploy Jekyll site to Pages #177: Commit 2fa2534 pushed by jahrim
58s master
master
58s
updated FSE 26 paper Deploy Jekyll site to Pages #176: Commit e84de07 pushed by gzakhour
2m 3s master
master
2m 3s
update christoph bio and update agentbound paper Deploy Jekyll site to Pages #175: Commit 08b8276 pushed by buehler
1m 55s master
master
1m 55s
docs: add badges to versioned e-graphs paper Deploy Jekyll site to Pages #174: Commit 34ef552 pushed by jahrim
2m 15s master
master
2m 15s
docs: update verilang submission Deploy Jekyll site to Pages #173: Commit 79cc015 pushed by jahrim
1m 3s master
master
1m 3s
PLDI distinguised artifact award news Deploy Jekyll site to Pages #172: Commit e86059e pushed by gzakhour
1m 30s master
master
1m 30s
acronym to SRC and Verilang Deploy Jekyll site to Pages #171: Commit 619cd3e pushed by gzakhour
1m 3s master
master
1m 3s
docs: add verilang submission Deploy Jekyll site to Pages #170: Commit 05fd693 pushed by jahrim
2m 23s master
master
2m 23s
docs: add further setup for MacOS; update Versioned EGraph paper; add… Deploy Jekyll site to Pages #169: Commit 7222a92 pushed by jahrim
1m 4s master
master
1m 4s
update agentbound PDF, DOI, and Supp Deploy Jekyll site to Pages #168: Commit 06a019e pushed by gzakhour
1m 4s master
master
1m 4s
fix FSE abstract + add paper Deploy Jekyll site to Pages #167: Commit 186a946 pushed by gzakhour
1m 9s master
master
1m 9s
Announce PLDI paper Deploy Jekyll site to Pages #166: Commit 7ffc76c pushed by gzakhour
1m 5s master
master
1m 5s
update ooplsa preprint Deploy Jekyll site to Pages #165: Commit edc301b pushed by davidspielmann
1m 3s master
master
1m 3s
announce FSE paper Deploy Jekyll site to Pages #164: Commit 433fc35 pushed by gzakhour
2m 5s master
master
2m 5s
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 gzakhour
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 gzakhour
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