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

CI CI #586: Merge group checks requested
November 17, 2023 19:15 24m 31s
November 17, 2023 19:15 24m 31s
add Assignment5 CI #585: Pull request #938 synchronize by wadler
November 17, 2023 09:58 23m 33s tspl-2023-11-16
tspl-2023-11-16
November 17, 2023 09:58 23m 33s
add Assignment5 CI #584: Pull request #938 opened by wadler
November 16, 2023 21:36 12m 17s tspl-2023-11-16
tspl-2023-11-16
November 16, 2023 21:36 12m 17s
pages build and deployment pages-build-deployment #244: by github-pages bot
November 15, 2023 11:04 1m 1s
November 15, 2023 11:04 1m 1s
adding Eval for 15 Nov lecture (#937) CI #583: Commit c55409b pushed by github-merge-queue bot
November 15, 2023 10:33 31m 27s dev
dev
November 15, 2023 10:33 31m 27s
CI CI #582: Merge group checks requested
November 15, 2023 10:03 29m 5s
November 15, 2023 10:03 29m 5s
adding Eval for 15 Nov lecture CI #581: Pull request #937 opened by wadler
November 15, 2023 07:58 30m 17s tspl-2023-11-15
tspl-2023-11-15
November 15, 2023 07:58 30m 17s
pages build and deployment pages-build-deployment #243: by github-pages bot
November 13, 2023 23:10 2m 1s
November 13, 2023 23:10 2m 1s
Bump html-validate from 8.7.0 to 8.7.1 (#934) CI #580: Commit 38ec73b pushed by github-merge-queue bot
November 13, 2023 22:11 59m 44s dev
dev
November 13, 2023 22:11 59m 44s
CI CI #579: Merge group checks requested
November 13, 2023 21:08 1h 2m 0s
November 13, 2023 21:08 1h 2m 0s
Bump GHC and Cabal versions CI #578: Pull request #933 synchronize by wenkokke
November 13, 2023 19:59 51m 17s bump-ghc-cabal
bump-ghc-cabal
November 13, 2023 19:59 51m 17s
Bump Agda *2.6.3 -> 2.6.4 CI #577: Pull request #936 synchronize by wenkokke
November 13, 2023 19:57 53m 18s bump-agda
bump-agda
November 13, 2023 19:57 53m 18s
Bump Agda *2.6.3 -> 2.6.4 CI #576: Pull request #936 opened by wenkokke
November 13, 2023 19:54 47m 28s bump-agda
bump-agda
November 13, 2023 19:54 47m 28s
Bump EPUBCheck *4.2.6 -> 5.1.0 CI #575: Pull request #935 opened by wenkokke
November 13, 2023 19:54 33m 33s bump-epubcheck
bump-epubcheck
November 13, 2023 19:54 33m 33s
Bump GHC and Cabal versions CI #574: Pull request #933 synchronize by wenkokke
November 13, 2023 19:48 7m 15s bump-ghc-cabal
bump-ghc-cabal
November 13, 2023 19:48 7m 15s
Bump GHC and Cabal versions CI #573: Pull request #933 synchronize by wenkokke
November 13, 2023 19:48 48s bump-ghc-cabal
bump-ghc-cabal
November 13, 2023 19:48 48s
Bump GHC and Cabal versions CI #572: Pull request #933 synchronize by wenkokke
November 13, 2023 19:44 55s bump-ghc-cabal
bump-ghc-cabal
November 13, 2023 19:44 55s
Bump html-validate from 8.7.0 to 8.7.1 CI #571: Pull request #934 opened by dependabot bot
November 13, 2023 19:39 1h 1m 17s dependabot/npm_and_yarn/html-validate-8.7.1
dependabot/npm_and_yarn/html-validate-8.7.1
November 13, 2023 19:39 1h 1m 17s
Bump GHC and Cabal versions CI #570: Pull request #933 opened by wenkokke
November 13, 2023 19:27 3m 22s bump-ghc-cabal
bump-ghc-cabal
November 13, 2023 19:27 3m 22s
pages build and deployment pages-build-deployment #242: by github-pages bot
November 5, 2023 15:36 1m 6s
November 5, 2023 15:36 1m 6s
Tspl 2023 11 05 (#931) CI #568: Commit e802364 pushed by github-merge-queue bot
November 5, 2023 14:48 48m 23s dev
dev
November 5, 2023 14:48 48m 23s
CI CI #567: Merge group checks requested
November 5, 2023 14:16 30m 57s
November 5, 2023 14:16 30m 57s
Tspl 2023 11 05 CI #566: Pull request #931 opened by wadler
November 5, 2023 13:18 43m 51s tspl-2023-11-05
tspl-2023-11-05
November 5, 2023 13:18 43m 51s
pages build and deployment pages-build-deployment #241: by github-pages bot
November 1, 2023 02:27 1m 4s
November 1, 2023 02:27 1m 4s
Update Lists.lagda.md (#930) CI #565: Commit 4bb6d3d pushed by github-merge-queue bot
November 1, 2023 01:48 39m 20s dev
dev
November 1, 2023 01:48 39m 20s