Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
632 workflow runs
632 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #980: Merge group checks requested
January 23, 2025 11:52 In progress
January 23, 2025 11:52 In progress
Type of suggested lemma in Bin-isomorphism compiles CI #979: Pull request #1083 synchronize by negatratoron
January 23, 2025 09:53 31m 13s negatratoron:fix-bin-isomorphism-exercise-type
negatratoron:fix-bin-isomorphism-exercise-type
January 23, 2025 09:53 31m 13s
Rename 'standard prelude' to 'standard library' in Negation.lagda.md for consistency CI #978: Pull request #1084 opened by rwnobrega
January 23, 2025 02:33 30m 47s rwnobrega:dev
rwnobrega:dev
January 23, 2025 02:33 30m 47s
Type of suggested lemma in Bin-isomorphism compiles CI #977: Pull request #1083 opened by negatratoron
January 22, 2025 06:06 30m 23s negatratoron:fix-bin-isomorphism-exercise-type
negatratoron:fix-bin-isomorphism-exercise-type
January 22, 2025 06:06 30m 23s
pages build and deployment pages-build-deployment #340: by github-pages bot
January 20, 2025 20:38 5m 43s web
web
January 20, 2025 20:38 5m 43s
Bump sass from 1.83.1 to 1.83.4 (#1082) CI #976: Commit 379e869 pushed by github-merge-queue bot
January 20, 2025 20:06 31m 52s dev
dev
January 20, 2025 20:06 31m 52s
github_actions in /. - Update #950822398 Dependabot Updates #123: by dependabot bot
January 20, 2025 19:40 42s dev
dev
January 20, 2025 19:40 42s
CI CI #975: Merge group checks requested
January 20, 2025 19:35 30m 57s
January 20, 2025 19:35 30m 57s
bundler in /. - Update #950809438 Dependabot Updates #122: by dependabot bot
January 20, 2025 19:18 36s dev
dev
January 20, 2025 19:18 36s
pip in /. - Update #950806295 Dependabot Updates #121: by dependabot bot
January 20, 2025 19:14 48s dev
dev
January 20, 2025 19:14 48s
Bump sass from 1.83.1 to 1.83.4 CI #974: Pull request #1082 opened by dependabot bot
January 20, 2025 19:03 31m 42s dependabot/npm_and_yarn/sass-1.83.4
dependabot/npm_and_yarn/sass-1.83.4
January 20, 2025 19:03 31m 42s
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