Skip to content

Actions: cornell-pl/pl.cs.cornell.edu

Actions

Hugo deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

alumni cleanup
Hugo deploy #284: Commit f9343c8 pushed by rachitnigam
September 27, 2024 17:27 23s master
September 27, 2024 17:27 23s
Merge pull request #63 from ntbertram/master
Hugo deploy #283: Commit 2523b22 pushed by od0x0
August 28, 2024 21:16 24s master
August 28, 2024 21:16 24s
Merge pull request #62 from keikun555/master
Hugo deploy #282: Commit d38059f pushed by od0x0
August 27, 2024 19:18 21s master
August 27, 2024 19:18 21s
alphabetize student list
Hugo deploy #281: Commit 982647c pushed by zilberstein
June 25, 2024 19:46 19s master
June 25, 2024 19:46 19s
Merge pull request #61 from anshumanmohan/patch-2
Hugo deploy #280: Commit 71dddaa pushed by od0x0
April 11, 2024 17:32 23s master
April 11, 2024 17:32 23s
Merge pull request #60 from yy665/master
Hugo deploy #279: Commit 64930cc pushed by yy665
March 5, 2024 18:35 17s master
March 5, 2024 18:35 17s
add yulun to pl student list
Hugo deploy #278: Commit dbefb1d pushed by yy665
March 3, 2024 00:03 24s master
March 3, 2024 00:03 24s
update pldg website
Hugo deploy #277: Commit ca25414 pushed by JialuJialu
March 1, 2024 18:30 15s master
March 1, 2024 18:30 15s
Hugo deploy
Hugo deploy #276: by yy665
March 1, 2024 15:51 8m 20s master
March 1, 2024 15:51 8m 20s
joe pldg talk
Hugo deploy #275: Commit 7d2f64e pushed by zilberstein
February 16, 2024 19:03 19s master
February 16, 2024 19:03 19s
Merge pull request #58 from yy665/master
Hugo deploy #274: Commit 724bdeb pushed by yy665
February 13, 2024 15:46 17s master
February 13, 2024 15:46 17s
Merge pull request #57 from anshumanmohan/patch-1
Hugo deploy #273: Commit 427057e pushed by od0x0
February 7, 2024 19:35 14s master
February 7, 2024 19:35 14s
Merge pull request #56 from yy665/master
Hugo deploy #272: Commit 8fbeefa pushed by yy665
February 7, 2024 02:45 18s master
February 7, 2024 02:45 18s
Merge pull request #55 from yy665/master
Hugo deploy #271: Commit 2ea305a pushed by od0x0
February 7, 2024 01:10 23s master
February 7, 2024 01:10 23s
Move graduated students to alumni
Hugo deploy #270: Commit c7ded83 pushed by rachitnigam
January 4, 2024 22:52 17s master
January 4, 2024 22:52 17s
Last minute updates
Hugo deploy #269: Commit 56667e6 pushed by od0x0
December 14, 2023 00:23 32s master
December 14, 2023 00:23 32s
Merge branch 'master' of github.com:cornell-pl/pl.cs.cornell.edu
Hugo deploy #268: Commit 3431beb pushed by od0x0
December 10, 2023 18:28 16s master
December 10, 2023 18:28 16s
add link to stefan's talk on dafny
Hugo deploy #267: Commit ee04952 pushed by JialuJialu
December 3, 2023 20:47 23s master
December 3, 2023 20:47 23s
Slava Pestov slides
Hugo deploy #266: Commit 2d50a6b pushed by mdmoeller
December 2, 2023 04:51 21s master
December 2, 2023 04:51 21s
add Emmanuel
Hugo deploy #265: Commit c7c6661 pushed by mdmoeller
November 30, 2023 18:03 28s master
November 30, 2023 18:03 28s
Graydon Hoare's slides
Hugo deploy #264: Commit d211f65 pushed by mdmoeller
November 29, 2023 21:29 31s master
November 29, 2023 21:29 31s
More responses for Priya's page
Hugo deploy #263: Commit 3cb7c57 pushed by od0x0
November 29, 2023 02:44 15s master
November 29, 2023 02:44 15s
add Graydon Hoare
Hugo deploy #262: Commit d2f0635 pushed by mdmoeller
November 21, 2023 17:32 16s master
November 21, 2023 17:32 16s
Merge pull request #54 from cornell-pl/retreat-archives
Hugo deploy #261: Commit e852249 pushed by od0x0
November 19, 2023 06:07 23s master
November 19, 2023 06:07 23s
Add links to old retreat web sites
Hugo deploy #260: Commit 9ddb9f0 pushed by jnfoster
November 18, 2023 19:59 14s retreat-archives
November 18, 2023 19:59 14s