Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
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
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
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
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
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
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
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
master
March 1, 2024 18:30 15s
Hugo deploy Hugo deploy #276: by yy665
March 1, 2024 15:51 8m 20s master
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
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
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
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
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
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
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
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
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
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
master
December 2, 2023 04:51 21s
add Emmanuel Hugo deploy #265: Commit c7c6661 pushed by mdmoeller
November 30, 2023 18:03 28s master
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
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
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
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
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
retreat-archives
November 18, 2023 19:59 14s