Skip to content

Actions: plfa/plfa.github.io

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
440 workflow runs
440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #526: Merge group checks requested
October 9, 2023 19:34 47m 38s
October 9, 2023 19:34 47m 38s
[pre-commit.ci] pre-commit autoupdate
CI #524: Pull request #919 opened by pre-commit-ci bot
October 9, 2023 17:32 45m 8s pre-commit-ci-update-config
October 9, 2023 17:32 45m 8s
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
October 8, 2023 14:17 35m 43s
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.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
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 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
September 25, 2023 19:56 32m 37s
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
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
September 22, 2023 15:49 31m 14s
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
update TSPL 2023 to fix times and Assignment 1 (#913)
CI #505: Commit 5434b02 pushed by github-merge-queue bot
September 18, 2023 22:06 32m 2s dev
dev
September 18, 2023 22:06 32m 2s
CI
CI #504: Merge group checks requested
September 18, 2023 21:35 46m 18s
September 18, 2023 21:35 46m 18s
CI
CI #503: Merge group checks requested
September 18, 2023 21:35 30m 32s
September 18, 2023 21:35 30m 32s
update TSPL 2023 to fix times and Assignment 1
CI #502: Pull request #913 opened by wadler
September 18, 2023 19:36 44m 20s tspl-2023-09-18
September 18, 2023 19:36 44m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.