Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #317: by github-pages bot
October 24, 2024 19:47 45s
October 24, 2024 19:47 45s
update headers for tspl schedule (#1054) CI #886: Commit 99f82e7 pushed by github-merge-queue bot
October 24, 2024 19:05 41m 55s dev
dev
October 24, 2024 19:05 41m 55s
CI CI #885: Merge group checks requested
October 24, 2024 18:24 40m 26s
October 24, 2024 18:24 40m 26s
update headers for tspl schedule CI #884: Pull request #1054 opened by wadler
October 24, 2024 09:24 40m 44s tspl-2024-10-24
tspl-2024-10-24
October 24, 2024 09:24 40m 44s
pages build and deployment pages-build-deployment #316: by github-pages bot
October 23, 2024 11:58 42s
October 23, 2024 11:58 42s
Bump sass from 1.79.5 to 1.80.3 (#1053) CI #883: Commit 0925e52 pushed by github-merge-queue bot
October 23, 2024 11:17 41m 6s dev
dev
October 23, 2024 11:17 41m 6s
CI CI #882: Merge group checks requested
October 23, 2024 10:33 43m 24s
October 23, 2024 10:33 43m 24s
bundler in /. - Update #904453032 Dependabot Updates #67: by dependabot bot
October 21, 2024 20:00 46s
October 21, 2024 20:00 46s
pip in /. - Update #904446692 Dependabot Updates #66: by dependabot bot
October 21, 2024 19:50 52s
October 21, 2024 19:50 52s
github_actions in /. - Update #904423583 Dependabot Updates #65: by dependabot bot
October 21, 2024 19:15 45s
October 21, 2024 19:15 45s
Bump sass from 1.79.5 to 1.80.3 CI #881: Pull request #1053 opened by dependabot bot
October 21, 2024 19:13 41m 26s dependabot/npm_and_yarn/sass-1.80.3
dependabot/npm_and_yarn/sass-1.80.3
October 21, 2024 19:13 41m 26s
npm_and_yarn in /. - Update #904422058 Dependabot Updates #64: by dependabot bot
October 21, 2024 19:12 1m 10s
October 21, 2024 19:12 1m 10s
pages build and deployment pages-build-deployment #315: by github-pages bot
October 16, 2024 16:36 47s
October 16, 2024 16:36 47s
update Qualifiers to use records first (#1052) CI #880: Commit e82750f pushed by github-merge-queue bot
October 16, 2024 15:55 41m 11s dev
dev
October 16, 2024 15:55 41m 11s
CI CI #879: Merge group checks requested
October 16, 2024 15:12 42m 12s
October 16, 2024 15:12 42m 12s
update Qualifiers to use records first CI #878: Pull request #1052 synchronize by wadler
October 16, 2024 09:32 39m 33s plfa-2024-10-16
plfa-2024-10-16
October 16, 2024 09:32 39m 33s
update Qualifiers to use records first CI #877: Pull request #1052 synchronize by wadler
October 16, 2024 09:32 59s plfa-2024-10-16
plfa-2024-10-16
October 16, 2024 09:32 59s
update Qualifiers to use records first CI #876: Pull request #1052 opened by wadler
October 16, 2024 09:21 11m 2s plfa-2024-10-16
plfa-2024-10-16
October 16, 2024 09:21 11m 2s
pages build and deployment pages-build-deployment #314: by github-pages bot
October 16, 2024 08:55 50s
October 16, 2024 08:55 50s
Bump sass from 1.79.4 to 1.79.5 (#1050) CI #875: Commit c53dbc9 pushed by github-merge-queue bot
October 16, 2024 08:13 41m 24s dev
dev
October 16, 2024 08:13 41m 24s
CI CI #874: Merge group checks requested
October 16, 2024 07:32 40m 57s
October 16, 2024 07:32 40m 57s
pages build and deployment pages-build-deployment #313: by github-pages bot
October 15, 2024 17:30 51s
October 15, 2024 17:30 51s
update Connectives to put records first (#1051) CI #873: Commit 6a09e12 pushed by github-merge-queue bot
October 15, 2024 16:50 40m 41s dev
dev
October 15, 2024 16:50 40m 41s
CI CI #872: Merge group checks requested
October 15, 2024 16:07 42m 4s
October 15, 2024 16:07 42m 4s
pages build and deployment pages-build-deployment #312: by github-pages bot
October 15, 2024 09:35 53s
October 15, 2024 09:35 53s