Skip to content

Actions: teach-plt/www

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump stack snapshot to lts-23.28 Deploy PLT www #175: Commit baa8ff4 pushed by andreasabel
1m 30s master
master
1m 30s
Bump actions/checkout from 6 to 7 Deploy PLT www #174: Commit 07bb1b9 pushed by andreasabel
2m 48s master
master
2m 48s
Bump actions/checkout from 6 to 7 Deploy PLT www #173: Pull request #22 opened by dependabot Bot
9m 22s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
9m 22s
github_actions in /. - Update #1443991652 Dependabot Updates #9: by dependabot Bot
29s master
master
29s
github_actions in /. - Update #1394656833 Dependabot Updates #8: by dependabot Bot
27s master
master
27s
github_actions in / for actions/upload-pages-artifact - Update #1345073246 Dependabot Updates #7: by dependabot Bot
37s master
master
37s
CI: Switch from tectonic to TeXlive Deploy PLT www #172: Commit 47fd18d pushed by andreasabel
2m 31s master
master
2m 31s
CI: switch from tectonic to TeXlive Deploy PLT www #171: Pull request #21 synchronize by andreasabel
3m 8s ci-ubuntu-24
ci-ubuntu-24
3m 8s
CI: switch from tectonic to TeXlive Deploy PLT www #170: Pull request #21 synchronize by andreasabel
15s ci-ubuntu-24
ci-ubuntu-24
15s
CI: switch from tectonic to TeXlive Deploy PLT www #169: Pull request #21 opened by andreasabel
2m 8s ci-ubuntu-24
ci-ubuntu-24
2m 8s
Bump actions/upload-pages-artifact from 4 to 5 Deploy PLT www #168: Pull request #20 opened by dependabot Bot
30s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
30s
github_actions in /. - Update #1344733386 Dependabot Updates #6: by dependabot Bot
39s master
master
39s
Bump actions/deploy-pages from 4 to 5 Deploy PLT www #167: Commit 5993fbb pushed by andreasabel
1m 44s master
master
1m 44s
Bump actions/deploy-pages from 4 to 5 Deploy PLT www #166: Pull request #19 opened by dependabot Bot
1m 11s dependabot/github_actions/actions/deploy-pages-5
dependabot/github_actions/actions/deploy-pages-5
1m 11s
github_actions in /. - Update #1303683625 Dependabot Updates #5: by dependabot Bot
29s master
master
29s
github_actions in /. - Update #1263281055 Dependabot Updates #4: by dependabot Bot
26s master
master
26s
github_actions in /. - Update #1229166760 Dependabot Updates #3: by dependabot Bot
28s master
master
28s
Exam solution Deploy PLT www #165: Commit 42af47d pushed by andreasabel
1m 10s master
master
1m 10s
Bump actions/checkout from 5 to 6 Deploy PLT www #164: Pull request #18 opened by dependabot Bot
1m 3s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 3s
github_actions in /. - Update #1207919169 Dependabot Updates #2: by dependabot Bot
31s master
master
31s
github_actions in /. - Update #1207919170 Dependabot Updates #1: by dependabot Bot
35s master
master
35s
Dependabot Deploy PLT www #163: Commit 7f7f694 pushed by andreasabel
4m 13s master
master
4m 13s
Exam 2025 August Deploy PLT www #162: Commit cbfe3ec pushed by andreasabel
1m 10s master
master
1m 10s
Lecture on Agda 2025: live coding finish Deploy PLT www #161: Commit d405045 pushed by andreasabel
1m 17s master
master
1m 17s
Lecture on Agda 2025: live coding start Deploy PLT www #160: Commit 5d5ab77 pushed by andreasabel
1m 20s master
master
1m 20s