Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #300: by github-pages bot
September 12, 2024 18:07 39s
September 12, 2024 18:07 39s
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
Correcting Louis's webpage CI #823: Pull request #1033 opened by llemonnier
September 12, 2024 10:32 30m 35s llemonnier:dev
llemonnier:dev
September 12, 2024 10:32 30m 35s
npm_and_yarn in /. for send - Update #882900331 Dependabot Updates #42: by dependabot bot
September 11, 2024 14:40 56s
September 11, 2024 14:40 56s
npm_and_yarn in /. for serve-static - Update #882893083 Dependabot Updates #41: by dependabot bot
September 11, 2024 14:27 1m 0s
September 11, 2024 14:27 1m 0s
pages build and deployment pages-build-deployment #299: by github-pages bot
September 11, 2024 13:03 47s
September 11, 2024 13:03 47s
set up TSPL 2024 course page (#1032) CI #822: Commit ff8834a pushed by github-merge-queue bot
September 11, 2024 12:31 32m 37s dev
dev
September 11, 2024 12:31 32m 37s
CI CI #821: Merge group checks requested
September 11, 2024 11:59 31m 37s
September 11, 2024 11:59 31m 37s
set up TSPL 2024 course page CI #820: Pull request #1032 opened by wadler
September 10, 2024 20:34 31m 41s tspl-2024-09-10
tspl-2024-09-10
September 10, 2024 20:34 31m 41s
pages build and deployment pages-build-deployment #298: by github-pages bot
September 10, 2024 18:35 47s
September 10, 2024 18:35 47s
Fix a typo. (#1031) CI #819: Commit c592003 pushed by github-merge-queue bot
September 10, 2024 18:03 31m 44s dev
dev
September 10, 2024 18:03 31m 44s
CI CI #818: Merge group checks requested
September 10, 2024 17:29 33m 32s
September 10, 2024 17:29 33m 32s
Fix a typo. CI #817: Pull request #1031 opened by OlingCat
September 10, 2024 16:58 30m 58s OlingCat:patch-1
OlingCat:patch-1
September 10, 2024 16:58 30m 58s
pages build and deployment pages-build-deployment #297: by github-pages bot
September 9, 2024 21:41 44s
September 9, 2024 21:41 44s
Bump sass from 1.77.8 to 1.78.0 (#1030) CI #816: Commit 0e9ef05 pushed by github-merge-queue bot
September 9, 2024 21:09 31m 42s dev
dev
September 9, 2024 21:09 31m 42s
CI CI #815: Merge group checks requested
September 9, 2024 20:38 30m 44s
September 9, 2024 20:38 30m 44s
Bump sass from 1.77.8 to 1.78.0 CI #814: Pull request #1030 opened by dependabot bot
September 9, 2024 19:37 32m 19s dependabot/npm_and_yarn/sass-1.78.0
dependabot/npm_and_yarn/sass-1.78.0
September 9, 2024 19:37 32m 19s
npm_and_yarn in /. - Update #881474370 Dependabot Updates #40: by dependabot bot
September 9, 2024 19:36 1m 1s
September 9, 2024 19:36 1m 1s
pip in /. - Update #881472378 Dependabot Updates #39: by dependabot bot
September 9, 2024 19:33 48s
September 9, 2024 19:33 48s
bundler in /. - Update #881469660 Dependabot Updates #38: by dependabot bot
September 9, 2024 19:28 44s
September 9, 2024 19:28 44s
github_actions in /. - Update #881468041 Dependabot Updates #37: by dependabot bot
September 9, 2024 19:26 43s
September 9, 2024 19:26 43s