Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
473 workflow runs
473 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated course page CI #848: Pull request #1041 synchronize by wadler
October 2, 2024 10:11 32m 10s tspl-2024-10-02
tspl-2024-10-02
October 2, 2024 10:11 32m 10s
updated course page CI #847: Pull request #1041 opened by wadler
October 2, 2024 09:37 21m 58s tspl-2024-10-02
tspl-2024-10-02
October 2, 2024 09:37 21m 58s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 (#1039) CI #846: Commit 3963819 pushed by github-merge-queue bot
October 1, 2024 19:01 39m 12s dev
dev
October 1, 2024 19:01 39m 12s
CI CI #845: Merge group checks requested
October 1, 2024 18:29 32m 41s
October 1, 2024 18:29 32m 41s
CI CI #844: Merge group checks requested
October 1, 2024 18:29 32m 34s
October 1, 2024 18:29 32m 34s
Bump sass from 1.79.3 to 1.79.4 CI #843: Pull request #1040 opened by dependabot bot
September 30, 2024 19:42 33m 46s dependabot/npm_and_yarn/sass-1.79.4
dependabot/npm_and_yarn/sass-1.79.4
September 30, 2024 19:42 33m 46s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 CI #842: Pull request #1039 opened by dependabot bot
September 30, 2024 19:38 33m 21s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
September 30, 2024 19:38 33m 21s
Bump sass from 1.78.0 to 1.79.3 (#1037) CI #841: Commit be81dff pushed by github-merge-queue bot
September 23, 2024 22:42 32m 7s dev
dev
September 23, 2024 22:42 32m 7s
CI CI #840: Merge group checks requested
September 23, 2024 22:10 31m 52s
September 23, 2024 22:10 31m 52s
CI CI #839: Merge group checks requested
September 23, 2024 22:09 32m 7s
September 23, 2024 22:09 32m 7s
Bump browser-sync from 3.0.2 to 3.0.3 CI #838: Pull request #1038 opened by dependabot bot
September 23, 2024 19:44 31m 45s dependabot/npm_and_yarn/browser-sync-3.0.3
dependabot/npm_and_yarn/browser-sync-3.0.3
September 23, 2024 19:44 31m 45s
Bump sass from 1.78.0 to 1.79.3 CI #837: Pull request #1037 opened by dependabot bot
September 23, 2024 19:44 33m 26s dependabot/npm_and_yarn/sass-1.79.3
dependabot/npm_and_yarn/sass-1.79.3
September 23, 2024 19:44 33m 26s
update web/TableOfContents (#1036) CI #836: Commit 691f094 pushed by github-merge-queue bot
September 16, 2024 15:33 33m 20s dev
dev
September 16, 2024 15:33 33m 20s
CI CI #835: Merge group checks requested
September 16, 2024 15:00 32m 45s
September 16, 2024 15:00 32m 45s
update web/TableOfContents CI #834: Pull request #1036 opened by wadler
September 16, 2024 11:29 34m 17s tspl-2024-09-16
tspl-2024-09-16
September 16, 2024 11:29 34m 17s
update TSPL/2024 (#1035) CI #833: Commit 3250f07 pushed by github-merge-queue bot
September 16, 2024 11:07 31m 54s dev
dev
September 16, 2024 11:07 31m 54s
CI CI #832: Merge group checks requested
September 16, 2024 10:33 32m 49s
September 16, 2024 10:33 32m 49s
update TSPL/2024 CI #831: Pull request #1035 opened by wadler
September 15, 2024 09:16 32m 18s tspl-yyyy-mm-dd
tspl-yyyy-mm-dd
September 15, 2024 09:16 32m 18s
Use JuliaMono as code font (#1034) CI #830: Commit 4b2125b pushed by github-merge-queue bot
September 13, 2024 19:24 33m 44s dev
dev
September 13, 2024 19:24 33m 44s
CI CI #829: Merge group checks requested
September 13, 2024 18:51 32m 26s
September 13, 2024 18:51 32m 26s
Use JuliaMono as code font CI #828: Pull request #1034 synchronize by pre-commit-ci bot
September 13, 2024 18:05 45m 48s feature-juliamono
feature-juliamono
September 13, 2024 18:05 45m 48s
Use JuliaMono as code font CI #827: Pull request #1034 synchronize by wenkokke
September 13, 2024 18:05 49s feature-juliamono
feature-juliamono
September 13, 2024 18:05 49s
Use JuliaMono as code font CI #826: Pull request #1034 opened by wenkokke
September 13, 2024 18:04 28s feature-juliamono
feature-juliamono
September 13, 2024 18:04 28s
Correcting Louis's webpage (#1033) CI #825: Commit 0df905f pushed by github-merge-queue bot
September 12, 2024 17:35 31m 56s dev
dev
September 12, 2024 17:35 31m 56s
CI CI #824: Merge group checks requested
September 12, 2024 17:01 33m 3s
September 12, 2024 17:01 33m 3s