Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
636 workflow runs
636 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo in ⊢plus CI #986: Pull request #1087 synchronize by pre-commit-ci bot
January 24, 2025 22:41 Action required ivanovs-4:patch-1
ivanovs-4:patch-1
January 24, 2025 22:41 Action required
Fix typo in ⊢plus CI #985: Pull request #1087 opened by ivanovs-4
January 24, 2025 22:40 Action required ivanovs-4:patch-1
ivanovs-4:patch-1
January 24, 2025 22:40 Action required
Extensionality not required for proof of neg any equiv all neg (#1086) CI #984: Commit 1824aed pushed by github-merge-queue bot
January 24, 2025 22:05 30m 8s dev
dev
January 24, 2025 22:05 30m 8s
CI CI #983: Merge group checks requested
January 24, 2025 21:35 29m 41s
January 24, 2025 21:35 29m 41s
Extensionality not required for proof of neg any equiv all neg CI #982: Pull request #1086 opened by negatratoron
January 24, 2025 21:05 30m 38s negatratoron:extensionality-not-required-for-neg-any-equiv-all-neg
negatratoron:extensionality-not-required-for-neg-any-equiv-all-neg
January 24, 2025 21:05 30m 38s
pages build and deployment pages-build-deployment #341: by github-pages bot
January 23, 2025 12:57 41s web
web
January 23, 2025 12:57 41s
Rename 'standard prelude' to 'standard library' in `Negation.lagda.md… CI #981: Commit 2400b73 pushed by github-merge-queue bot
January 23, 2025 12:25 32m 5s dev
dev
January 23, 2025 12:25 32m 5s
CI CI #980: Merge group checks requested
January 23, 2025 11:52 32m 2s
January 23, 2025 11:52 32m 2s
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