Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow run results
277 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #231: by github-pages bot
October 8, 2023 17:09 57s
October 8, 2023 17:09 57s
updates for Assignment2 (#918) CI #523: Commit 1269509 pushed by github-merge-queue bot
October 8, 2023 16:16 53m 18s dev
dev
October 8, 2023 16:16 53m 18s
CI CI #522: Merge group checks requested
October 8, 2023 15:40 36m 8s
October 8, 2023 15:40 36m 8s
updates for Assignment2 CI #521: Pull request #918 opened by wadler
October 8, 2023 14:17 35m 43s tspl-2023-10-08
tspl-2023-10-08
October 8, 2023 14:17 35m 43s
pages build and deployment pages-build-deployment #230: by github-pages bot
October 2, 2023 21:52 1m 3s
October 2, 2023 21:52 1m 3s
Bump html-validate from 8.4.1 to 8.5.0 (#917) CI #520: Commit 6ad3b23 pushed by github-merge-queue bot
October 2, 2023 21:11 41m 47s dev
dev
October 2, 2023 21:11 41m 47s
CI CI #519: Merge group checks requested
October 2, 2023 20:37 33m 10s
October 2, 2023 20:37 33m 10s
Bump html-validate from 8.4.1 to 8.5.0 CI #518: Pull request #917 opened by dependabot bot
October 2, 2023 19:48 31m 7s dependabot/npm_and_yarn/html-validate-8.5.0
dependabot/npm_and_yarn/html-validate-8.5.0
October 2, 2023 19:48 31m 7s
pages build and deployment pages-build-deployment #229: by github-pages bot
September 25, 2023 22:59 1m 7s
September 25, 2023 22:59 1m 7s
Bump html-validate from 8.4.0 to 8.4.1 (#916) CI #517: Commit e11d724 pushed by github-merge-queue bot
September 25, 2023 22:19 39m 55s dev
dev
September 25, 2023 22:19 39m 55s
CI CI #516: Merge group checks requested
September 25, 2023 21:48 30m 52s
September 25, 2023 21:48 30m 52s
pages build and deployment pages-build-deployment #228: by github-pages bot
September 25, 2023 21:45 1m 16s
September 25, 2023 21:45 1m 16s
Bump html-validate from 8.4.0 to 8.4.1 CI #515: Pull request #916 synchronize by dependabot bot
September 25, 2023 21:01 46m 33s dependabot/npm_and_yarn/html-validate-8.4.1
dependabot/npm_and_yarn/html-validate-8.4.1
September 25, 2023 21:01 46m 33s
Bump sass from 1.67.0 to 1.68.0 (#915) CI #514: Commit 8371c9d pushed by github-merge-queue bot
September 25, 2023 21:00 45m 30s dev
dev
September 25, 2023 21:00 45m 30s
CI CI #513: Merge group checks requested
September 25, 2023 20:29 30m 26s
September 25, 2023 20:29 30m 26s
Bump html-validate from 8.4.0 to 8.4.1 CI #512: Pull request #916 opened by dependabot bot
September 25, 2023 19:56 57m 56s dependabot/npm_and_yarn/html-validate-8.4.1
dependabot/npm_and_yarn/html-validate-8.4.1
September 25, 2023 19:56 57m 56s
Bump sass from 1.67.0 to 1.68.0 CI #511: Pull request #915 opened by dependabot bot
September 25, 2023 19:56 32m 37s dependabot/npm_and_yarn/sass-1.68.0
dependabot/npm_and_yarn/sass-1.68.0
September 25, 2023 19:56 32m 37s
pages build and deployment pages-build-deployment #227: by github-pages bot
September 22, 2023 18:23 55s
September 22, 2023 18:23 55s
update TSPL for 2023-09-22 (#914) CI #510: Commit 8d3d332 pushed by github-merge-queue bot
September 22, 2023 17:49 34m 43s dev
dev
September 22, 2023 17:49 34m 43s
CI CI #509: Merge group checks requested
September 22, 2023 17:17 31m 24s
September 22, 2023 17:17 31m 24s
update TSPL for 2023-09-22 CI #508: Pull request #914 synchronize by pre-commit-ci bot
September 22, 2023 15:50 40m 40s tspl-2023-09-22
tspl-2023-09-22
September 22, 2023 15:50 40m 40s
update TSPL for 2023-09-22 CI #507: Pull request #914 opened by wadler
September 22, 2023 15:49 31m 14s tspl-2023-09-22
tspl-2023-09-22
September 22, 2023 15:49 31m 14s
pages build and deployment pages-build-deployment #226: by github-pages bot
September 18, 2023 22:55 1m 7s
September 18, 2023 22:55 1m 7s
pages build and deployment pages-build-deployment #225: by github-pages bot
September 18, 2023 22:38 1m 3s
September 18, 2023 22:38 1m 3s
Bump sass from 1.66.1 to 1.67.0 (#912) CI #506: Commit a0ec450 pushed by github-merge-queue bot
September 18, 2023 22:22 33m 53s dev
dev
September 18, 2023 22:22 33m 53s