Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
533 workflow runs
533 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

npm_and_yarn in /. - Update #878139475 Dependabot Updates #33: by dependabot bot
September 2, 2024 19:07 55s
September 2, 2024 19:07 55s
Port PLFA to work with agda-2.7 and stdlib-2.1 CI #794: Pull request #1024 synchronize by JacquesCarette
August 28, 2024 20:40 23m 25s JacquesCarette:feature-v2.7
JacquesCarette:feature-v2.7
August 28, 2024 20:40 23m 25s
document .gitignore. Add .DS_Store to it while at it. CI #793: Pull request #1025 synchronize by pre-commit-ci bot
August 28, 2024 16:19 1h 17m 46s JacquesCarette:feature-gitignore
JacquesCarette:feature-gitignore
August 28, 2024 16:19 1h 17m 46s
document .gitignore. Add .DS_Store to it while at it. CI #792: Pull request #1025 opened by JacquesCarette
August 28, 2024 16:18 57m 39s JacquesCarette:feature-gitignore
JacquesCarette:feature-gitignore
August 28, 2024 16:18 57m 39s
Port PLFA to work with agda-2.7 and stdlib-2.1 CI #791: Pull request #1024 opened by JacquesCarette
August 28, 2024 16:06 24m 21s JacquesCarette:feature-v2.7
JacquesCarette:feature-v2.7
August 28, 2024 16:06 24m 21s
github_actions in /. - Update #874449837 Dependabot Updates #32: by dependabot bot
August 26, 2024 19:59 35s
August 26, 2024 19:59 35s
bundler in /. - Update #874448691 Dependabot Updates #31: by dependabot bot
August 26, 2024 19:57 41s
August 26, 2024 19:57 41s
npm_and_yarn in /. - Update #874448121 Dependabot Updates #30: by dependabot bot
August 26, 2024 19:56 56s
August 26, 2024 19:56 56s
pip in /. - Update #874418417 Dependabot Updates #29: by dependabot bot
August 26, 2024 19:05 46s
August 26, 2024 19:05 46s
pip in /. - Update #871359140 Dependabot Updates #28: by dependabot bot
August 19, 2024 19:57 42s
August 19, 2024 19:57 42s
bundler in /. - Update #871358148 Dependabot Updates #27: by dependabot bot
August 19, 2024 19:56 41s
August 19, 2024 19:56 41s
github_actions in /. - Update #871340620 Dependabot Updates #26: by dependabot bot
August 19, 2024 19:25 43s
August 19, 2024 19:25 43s
npm_and_yarn in /. - Update #871336837 Dependabot Updates #25: by dependabot bot
August 19, 2024 19:18 56s
August 19, 2024 19:18 56s
github_actions in /. - Update #868452131 Dependabot Updates #24: by dependabot bot
August 12, 2024 19:44 38s
August 12, 2024 19:44 38s
bundler in /. - Update #868446402 Dependabot Updates #23: by dependabot bot
August 12, 2024 19:34 39s
August 12, 2024 19:34 39s
pip in /. - Update #868445119 Dependabot Updates #22: by dependabot bot
August 12, 2024 19:32 50s
August 12, 2024 19:32 50s
npm_and_yarn in /. - Update #868444618 Dependabot Updates #21: by dependabot bot
August 12, 2024 19:31 58s
August 12, 2024 19:31 58s
pip in /. - Update #865439373 Dependabot Updates #20: by dependabot bot
August 5, 2024 19:58 51s
August 5, 2024 19:58 51s
bundler in /. - Update #865424974 Dependabot Updates #19: by dependabot bot
August 5, 2024 19:38 48s
August 5, 2024 19:38 48s
github_actions in /. - Update #865411265 Dependabot Updates #18: by dependabot bot
August 5, 2024 19:14 37s
August 5, 2024 19:14 37s
npm_and_yarn in /. - Update #865405417 Dependabot Updates #17: by dependabot bot
August 5, 2024 19:03 1m 9s
August 5, 2024 19:03 1m 9s
github_actions in /. - Update #862044041 Dependabot Updates #16: by dependabot bot
July 29, 2024 19:58 42s
July 29, 2024 19:58 42s
pip in /. - Update #862041825 Dependabot Updates #15: by dependabot bot
July 29, 2024 19:55 48s
July 29, 2024 19:55 48s
npm_and_yarn in /. - Update #862040034 Dependabot Updates #14: by dependabot bot
July 29, 2024 19:53 54s
July 29, 2024 19:53 54s
bundler in /. - Update #862037731 Dependabot Updates #13: by dependabot bot
July 29, 2024 19:50 37s
July 29, 2024 19:50 37s