Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
440 workflow runs
440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #551: Merge group checks requested
October 23, 2023 21:33 56m 6s
October 23, 2023 21:33 56m 6s
Bump sass from 1.69.3 to 1.69.4 CI #550: Pull request #928 opened by dependabot bot
October 23, 2023 19:09 1h 1m 39s dependabot/npm_and_yarn/sass-1.69.4
dependabot/npm_and_yarn/sass-1.69.4
October 23, 2023 19:09 1h 1m 39s
Bump html-validate from 8.6.0 to 8.7.0 CI #549: Pull request #927 opened by dependabot bot
October 23, 2023 19:09 53m 33s dependabot/npm_and_yarn/html-validate-8.7.0
dependabot/npm_and_yarn/html-validate-8.7.0
October 23, 2023 19:09 53m 33s
Minor additional update to tspl-2023-10-19 CI #548: Pull request #926 synchronize by wadler
October 23, 2023 18:24 16m 44s tspl-2023-10-19b
tspl-2023-10-19b
October 23, 2023 18:24 16m 44s
Minor additional update to tspl-2023-10-19 CI #547: Pull request #926 synchronize by wenkokke
October 21, 2023 18:57 26m 8s tspl-2023-10-19b
tspl-2023-10-19b
October 21, 2023 18:57 26m 8s
Minor additional update to tspl-2023-10-19 CI #546: Pull request #926 synchronize by wenkokke
October 21, 2023 18:56 14m 26s tspl-2023-10-19b
tspl-2023-10-19b
October 21, 2023 18:56 14m 26s
Minor additional update to tspl-2023-10-19 CI #545: Pull request #926 synchronize by wenkokke
October 21, 2023 18:56 13m 59s tspl-2023-10-19b
tspl-2023-10-19b
October 21, 2023 18:56 13m 59s
update for Assignment 3 and order in chains (#925) CI #544: Commit fcf1bd0 pushed by github-merge-queue bot
October 20, 2023 13:11 39m 46s dev
dev
October 20, 2023 13:11 39m 46s
CI CI #543: Merge group checks requested
October 20, 2023 12:24 47m 7s
October 20, 2023 12:24 47m 7s
Minor additional update to tspl-2023-10-19 CI #542: Pull request #926 opened by wadler
October 20, 2023 11:27 13m 33s tspl-2023-10-19b
tspl-2023-10-19b
October 20, 2023 11:27 13m 33s
update for Assignment 3 and order in chains CI #541: Pull request #925 opened by wadler
October 20, 2023 09:12 54m 47s tspl-2023-10-19
tspl-2023-10-19
October 20, 2023 09:12 54m 47s
Bump html-validate from 8.5.0 to 8.6.0 (#922) CI #540: Commit 105c6fe pushed by github-merge-queue bot
October 17, 2023 14:16 42m 10s dev
dev
October 17, 2023 14:16 42m 10s
CI CI #539: Merge group checks requested
October 17, 2023 13:35 40m 8s
October 17, 2023 13:35 40m 8s
Bump html-validate from 8.5.0 to 8.6.0 CI #538: Pull request #922 synchronize by dependabot bot
October 17, 2023 12:10 50m 45s dependabot/npm_and_yarn/html-validate-8.6.0
dependabot/npm_and_yarn/html-validate-8.6.0
October 17, 2023 12:10 50m 45s
Bump sass from 1.69.0 to 1.69.3 (#923) CI #537: Commit 47ac5b8 pushed by github-merge-queue bot
October 17, 2023 12:09 38m 7s dev
dev
October 17, 2023 12:09 38m 7s
CI CI #536: Merge group checks requested
October 17, 2023 11:11 56m 58s
October 17, 2023 11:11 56m 58s
CI CI #535: Merge group checks requested
October 17, 2023 11:11 55m 47s
October 17, 2023 11:11 55m 47s
Bump bumpver from 2023.1127 to 2023.1129 CI #534: Pull request #924 opened by dependabot bot
October 16, 2023 19:11 54m 56s dependabot/pip/bumpver-2023.1129
dependabot/pip/bumpver-2023.1129
October 16, 2023 19:11 54m 56s
Bump sass from 1.69.0 to 1.69.3 CI #533: Pull request #923 opened by dependabot bot
October 16, 2023 19:06 52m 45s dependabot/npm_and_yarn/sass-1.69.3
dependabot/npm_and_yarn/sass-1.69.3
October 16, 2023 19:06 52m 45s
Bump html-validate from 8.5.0 to 8.6.0 CI #532: Pull request #922 opened by dependabot bot
October 16, 2023 19:05 41m 58s dependabot/npm_and_yarn/html-validate-8.6.0
dependabot/npm_and_yarn/html-validate-8.6.0
October 16, 2023 19:05 41m 58s
Bump sass from 1.68.0 to 1.69.0 (#920) CI #531: Commit 63fe9cc pushed by github-merge-queue bot
October 10, 2023 12:37 52m 59s dev
dev
October 10, 2023 12:37 52m 59s
CI CI #530: Merge group checks requested
October 10, 2023 11:37 39m 17s
October 10, 2023 11:37 39m 17s
CI CI #529: Merge group checks requested
October 10, 2023 11:37 59m 39s
October 10, 2023 11:37 59m 39s
[pre-commit.ci] pre-commit autoupdate (#919) CI #528: Commit a143dbc pushed by github-merge-queue bot
October 9, 2023 20:22 38m 37s dev
dev
October 9, 2023 20:22 38m 37s
Bump bumpver from 2023.1126 to 2023.1127 CI #527: Pull request #921 opened by dependabot bot
October 9, 2023 19:51 44m 47s dependabot/pip/bumpver-2023.1127
dependabot/pip/bumpver-2023.1127
October 9, 2023 19:51 44m 47s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.