Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
407 workflow runs
407 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
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
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
CI CI #975: Merge group checks requested
January 20, 2025 19:35 30m 57s
January 20, 2025 19:35 30m 57s
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
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
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
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