Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
616 workflow runs
616 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

npm_and_yarn in /. - Update #950799138 Dependabot Updates #120: by dependabot bot
January 20, 2025 19:02 1m 6s dev
dev
January 20, 2025 19:02 1m 6s
pages build and deployment pages-build-deployment #339: by github-pages bot
January 13, 2025 21:59 39s web
web
January 13, 2025 21:59 39s
Add imports for *-mono-<= exercise (#1080) CI #973: Commit b22efa9 pushed by github-merge-queue bot
January 13, 2025 21:31 27m 53s dev
dev
January 13, 2025 21:31 27m 53s
CI CI #972: Merge group checks requested
January 13, 2025 21:03 26m 50s
January 13, 2025 21:03 26m 50s
Add imports for *-mono-<= exercise CI #971: Pull request #1080 synchronize by negatratoron
January 13, 2025 20:35 27m 36s negatratoron:add-imports-for-exercise
negatratoron:add-imports-for-exercise
January 13, 2025 20:35 27m 36s
Add imports for *-mono-<= exercise CI #970: Pull request #1080 synchronize by negatratoron
January 13, 2025 20:32 3m 48s negatratoron:add-imports-for-exercise
negatratoron:add-imports-for-exercise
January 13, 2025 20:32 3m 48s
Add imports for *-mono-<= exercise CI #969: Pull request #1080 synchronize by negatratoron
January 13, 2025 20:14 15m 3s negatratoron:add-imports-for-exercise
negatratoron:add-imports-for-exercise
January 13, 2025 20:14 15m 3s
bundler in /. - Update #947343365 Dependabot Updates #119: by dependabot bot
January 13, 2025 19:59 35s dev
dev
January 13, 2025 19:59 35s
bundler in /. - Update #947337309 Dependabot Updates #118: by dependabot bot
January 13, 2025 19:52 45s dev
dev
January 13, 2025 19:52 45s
pip in /. - Update #947332435 Dependabot Updates #117: by dependabot bot
January 13, 2025 19:47 46s dev
dev
January 13, 2025 19:47 46s
github_actions in /. - Update #947321734 Dependabot Updates #116: by dependabot bot
January 13, 2025 19:35 42s dev
dev
January 13, 2025 19:35 42s
npm_and_yarn in /. - Update #947309777 Dependabot Updates #115: by dependabot bot
January 13, 2025 19:23 58s dev
dev
January 13, 2025 19:23 58s
github_actions in /. - Update #947305854 Dependabot Updates #114: by dependabot bot
January 13, 2025 19:18 38s dev
dev
January 13, 2025 19:18 38s
npm_and_yarn in /. - Update #947304919 Dependabot Updates #113: by dependabot bot
January 13, 2025 19:16 1m 4s dev
dev
January 13, 2025 19:16 1m 4s
pip in /. - Update #947299330 Dependabot Updates #112: by dependabot bot
January 13, 2025 19:07 45s dev
dev
January 13, 2025 19:07 45s
pages build and deployment pages-build-deployment #338: by github-pages bot
January 12, 2025 15:27 45s web
web
January 12, 2025 15:27 45s
Switch trans' from quote to prime in text to match agda code (#1081) CI #968: Commit 9638790 pushed by github-merge-queue bot
January 12, 2025 15:00 27m 16s dev
dev
January 12, 2025 15:00 27m 16s
CI CI #967: Merge group checks requested
January 12, 2025 14:32 27m 10s
January 12, 2025 14:32 27m 10s
Switch trans' from quote to prime in text to match agda code CI #966: Pull request #1081 opened by negatratoron
January 11, 2025 23:57 27m 33s negatratoron:equality-trans-name
negatratoron:equality-trans-name
January 11, 2025 23:57 27m 33s
Add imports for *-mono-<= exercise CI #965: Pull request #1080 synchronize by negatratoron
January 8, 2025 12:25 26m 24s negatratoron:add-imports-for-exercise
negatratoron:add-imports-for-exercise
January 8, 2025 12:25 26m 24s
Add imports for *-mono-<= exercise CI #964: Pull request #1080 opened by negatratoron
January 8, 2025 12:12 3m 29s negatratoron:add-imports-for-exercise
negatratoron:add-imports-for-exercise
January 8, 2025 12:12 3m 29s
pages build and deployment pages-build-deployment #337: by github-pages bot
January 7, 2025 00:33 46s web
web
January 7, 2025 00:33 46s
Bump sass from 1.83.0 to 1.83.1 (#1078) CI #963: Commit 6df65f9 pushed by github-merge-queue bot
January 6, 2025 23:47 52m 23s dev
dev
January 6, 2025 23:47 52m 23s
CI CI #962: Merge group checks requested
January 6, 2025 23:00 47m 10s
January 6, 2025 23:00 47m 10s
pip in /. - Update #943908520 Dependabot Updates #111: by dependabot bot
January 6, 2025 19:53 42s dev
dev
January 6, 2025 19:53 42s