Skip to content

Actions: nuprl/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #65: by github-pages bot
November 18, 2024 04:29 48s deploy
November 18, 2024 04:29 48s
change tld
CI #182: Commit a43b940 pushed by camoy
November 18, 2024 04:26 2m 28s master
November 18, 2024 04:26 2m 28s
pages build and deployment
pages-build-deployment #64: by github-pages bot
November 14, 2024 22:22 56s deploy
November 14, 2024 22:22 56s
Merge pull request #356 from nuprl/remove-me
CI #181: Commit 5e7275f pushed by minsungc
November 14, 2024 22:19 5m 8s master
November 14, 2024 22:19 5m 8s
delete me
CI #180: Pull request #356 opened by minsungc
November 14, 2024 22:12 5m 49s remove-me
November 14, 2024 22:12 5m 49s
pages build and deployment
pages-build-deployment #63: by github-pages bot
October 4, 2024 21:27 42s deploy
October 4, 2024 21:27 42s
add luis
CI #179: Commit 3c58d59 pushed by stites
October 4, 2024 21:25 2m 11s master
October 4, 2024 21:25 2m 11s
pages build and deployment
pages-build-deployment #62: by github-pages bot
October 3, 2024 20:59 41s deploy
October 3, 2024 20:59 41s
Merge pull request #355 from nuprl/people
CI #178: Commit 65b46bc pushed by stites
October 3, 2024 20:55 5m 31s master
October 3, 2024 20:55 5m 31s
some people
CI #177: Pull request #355 opened by stites
October 3, 2024 20:55 5m 16s people
October 3, 2024 20:55 5m 16s
pages build and deployment
pages-build-deployment #61: by github-pages bot
September 5, 2024 21:26 52s deploy
September 5, 2024 21:26 52s
Merge pull request #354 from gancherj/master
CI #176: Commit 590b01d pushed by tybug
September 5, 2024 21:24 2m 10s master
September 5, 2024 21:24 2m 10s
Add Josh class
CI #175: Pull request #354 opened by gancherj
September 5, 2024 21:08 2m 12s gancherj:master
September 5, 2024 21:08 2m 12s
pages build and deployment
pages-build-deployment #60: by github-pages bot
September 5, 2024 20:48 45s deploy
September 5, 2024 20:48 45s
Merge pull request #353 from nuprl/pub-f24
CI #174: Commit 8cee0b2 pushed by tybug
September 5, 2024 20:46 2m 11s master
September 5, 2024 20:46 2m 11s
add pubs up to f24
CI #173: Pull request #353 opened by a-wagner
September 5, 2024 19:33 2m 5s pub-f24
September 5, 2024 19:33 2m 5s
pages build and deployment
pages-build-deployment #59: by github-pages bot
September 3, 2024 19:05 48s deploy
September 3, 2024 19:05 48s
Merge pull request #352 from tybug/fix-case
CI #172: Commit 3cf47b0 pushed by tybug
September 3, 2024 19:03 2m 22s master
September 3, 2024 19:03 2m 22s
Rename file properly
CI #171: Pull request #352 opened by tybug
September 3, 2024 18:57 2m 32s tybug:fix-case
September 3, 2024 18:57 2m 32s
pages build and deployment
pages-build-deployment #58: by github-pages bot
August 31, 2024 21:43 43s deploy
August 31, 2024 21:43 43s
Merge pull request #351 from tybug/amal-update
CI #170: Commit ff42330 pushed by tybug
August 31, 2024 21:41 2m 19s master
August 31, 2024 21:41 2m 19s
Update Amal's photo
CI #169: Pull request #351 opened by tybug
August 31, 2024 21:38 2m 27s tybug:amal-update
August 31, 2024 21:38 2m 27s
pages build and deployment
pages-build-deployment #57: by github-pages bot
August 25, 2024 20:29 55s deploy
August 25, 2024 20:29 55s
Merge pull request #350 from nuprl/arjun
CI #168: Commit 93c69e1 pushed by tybug
August 25, 2024 20:26 2m 10s master
August 25, 2024 20:26 2m 10s
Edits to Arjun's courses.
CI #167: Pull request #350 opened by arjunguha
August 24, 2024 11:50 2m 2s arjun
August 24, 2024 11:50 2m 2s