Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow run results
277 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

paragraph on normal order reduction in Untyped chapter CI #648: Pull request #962 opened by peterthiemann
February 9, 2024 13:10 20m 55s proglang:untyped-normal-order-reduction
proglang:untyped-normal-order-reduction
February 9, 2024 13:10 20m 55s
course@Freiburg ws23-24 CI #647: Pull request #961 opened by peterthiemann
February 8, 2024 11:38 20m 55s proglang:freiburg2023
proglang:freiburg2023
February 8, 2024 11:38 20m 55s
Update README.md CI #646: Pull request #959 opened by Ninijura
February 6, 2024 11:52 20m 56s Ninijura:dev
Ninijura:dev
February 6, 2024 11:52 20m 56s
Bump sass from 1.69.7 to 1.70.0 CI #644: Pull request #955 opened by dependabot bot
January 22, 2024 19:43 21m 28s dependabot/npm_and_yarn/sass-1.70.0
dependabot/npm_and_yarn/sass-1.70.0
January 22, 2024 19:43 21m 28s
Bump actions/cache from 3 to 4 CI #643: Pull request #954 opened by dependabot bot
January 22, 2024 19:14 21m 18s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 19:14 21m 18s
pages build and deployment pages-build-deployment #258: by github-pages bot
January 10, 2024 13:45 51s
January 10, 2024 13:45 51s
Bump html-validate from 8.8.0 to 8.9.1 CI #642: Pull request #953 opened by dependabot bot
January 10, 2024 12:48 20m 8s dependabot/npm_and_yarn/html-validate-8.9.1
dependabot/npm_and_yarn/html-validate-8.9.1
January 10, 2024 12:48 20m 8s
Bump follow-redirects from 1.15.1 to 1.15.4 (#952) CI #641: Commit 4105842 pushed by github-merge-queue bot
January 10, 2024 12:47 58m 17s dev
dev
January 10, 2024 12:47 58m 17s
CI CI #640: Merge group checks requested
January 10, 2024 12:10 36m 16s
January 10, 2024 12:10 36m 16s
Bump follow-redirects from 1.15.1 to 1.15.4 CI #639: Pull request #952 opened by dependabot bot
January 10, 2024 01:20 49m 25s dependabot/npm_and_yarn/follow-redirects-1.15.4
dependabot/npm_and_yarn/follow-redirects-1.15.4
January 10, 2024 01:20 49m 25s
pages build and deployment pages-build-deployment #257: by github-pages bot
January 8, 2024 20:53 54s
January 8, 2024 20:53 54s
Bump html-validate from 8.8.0 to 8.9.0 CI #638: Pull request #951 synchronize by dependabot bot
January 8, 2024 20:19 10m 47s dependabot/npm_and_yarn/html-validate-8.9.0
dependabot/npm_and_yarn/html-validate-8.9.0
January 8, 2024 20:19 10m 47s
Bump sass from 1.69.6 to 1.69.7 (#950) CI #637: Commit f88e7bf pushed by github-merge-queue bot
January 8, 2024 20:18 35m 8s dev
dev
January 8, 2024 20:18 35m 8s
CI CI #636: Merge group checks requested
January 8, 2024 19:43 34m 49s
January 8, 2024 19:43 34m 49s
Bump html-validate from 8.8.0 to 8.9.0 CI #635: Pull request #951 opened by dependabot bot
January 8, 2024 19:08 9m 36s dependabot/npm_and_yarn/html-validate-8.9.0
dependabot/npm_and_yarn/html-validate-8.9.0
January 8, 2024 19:08 9m 36s
Bump sass from 1.69.6 to 1.69.7 CI #634: Pull request #950 opened by dependabot bot
January 8, 2024 19:08 34m 31s dependabot/npm_and_yarn/sass-1.69.7
dependabot/npm_and_yarn/sass-1.69.7
January 8, 2024 19:08 34m 31s
pages build and deployment pages-build-deployment #256: by github-pages bot
January 7, 2024 22:13 49s
January 7, 2024 22:13 49s
Bump GHC and Cabal versions (#933) CI #633: Commit 816ac17 pushed by github-merge-queue bot
January 7, 2024 21:22 51m 47s dev
dev
January 7, 2024 21:22 51m 47s
Bump EPUBCheck *4.2.6 -> 5.1.0 CI #632: Pull request #935 synchronize by wenkokke
January 7, 2024 21:04 16m 9s bump-epubcheck
bump-epubcheck
January 7, 2024 21:04 16m 9s
Bump Agda *2.6.3 -> 2.6.4 CI #631: Pull request #936 synchronize by wenkokke
January 7, 2024 20:39 29m 4s bump-agda
bump-agda
January 7, 2024 20:39 29m 4s
Bump EPUBCheck *4.2.6 -> 5.1.0 CI #630: Pull request #935 synchronize by wenkokke
January 7, 2024 20:38 24m 14s bump-epubcheck
bump-epubcheck
January 7, 2024 20:38 24m 14s
Bump EPUBCheck *4.2.6 -> 5.1.0 CI #629: Pull request #935 synchronize by wenkokke
January 7, 2024 20:38 12m 47s bump-epubcheck
bump-epubcheck
January 7, 2024 20:38 12m 47s
CI CI #628: Merge group checks requested
January 7, 2024 20:35 46m 34s
January 7, 2024 20:35 46m 34s
Bump GHC and Cabal versions CI #627: Pull request #933 synchronize by wenkokke
January 7, 2024 19:09 47m 11s bump-ghc-cabal
bump-ghc-cabal
January 7, 2024 19:09 47m 11s
Bump GHC and Cabal versions CI #626: Pull request #933 synchronize by wenkokke
January 4, 2024 20:24 3m 41s bump-ghc-cabal
bump-ghc-cabal
January 4, 2024 20:24 3m 41s