Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #954409979 Dependabot Updates #126: by dependabot bot
January 27, 2025 19:20 37s dev
dev
January 27, 2025 19:20 37s
npm_and_yarn in /. - Update #954406118 Dependabot Updates #125: by dependabot bot
January 27, 2025 19:16 1m 0s dev
dev
January 27, 2025 19:16 1m 0s
github_actions in /. - Update #954406035 Dependabot Updates #124: by dependabot bot
January 27, 2025 19:16 46s dev
dev
January 27, 2025 19:16 46s
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