Skip to content

Actions: cpitclaudel/alectryon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 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
CI CI #80: Scheduled
4m 1s main
main
4m 1s
CI CI #79: Scheduled
14m 15s main
main
14m 15s
CI CI #78: Scheduled
14m 49s main
main
14m 49s
CI CI #77: Scheduled
15m 15s main
main
15m 15s
CI CI #76: Scheduled
15m 36s main
main
15m 36s
CI CI #75: Scheduled
13m 5s main
main
13m 5s
CI CI #74: Scheduled
15m 16s main
main
15m 16s
CI CI #73: Scheduled
5m 7s main
main
5m 7s
CI CI #72: Scheduled
14m 37s main
main
14m 37s
CI CI #71: Scheduled
4m 38s main
main
4m 38s
CI CI #70: Scheduled
14m 2s main
main
14m 2s
CI CI #69: Scheduled
4m 46s main
main
4m 46s
ci: Add Rocq 9.2 CI #68: Commit a6f1945 pushed by cpitclaudel
13m 18s main
main
13m 18s
build(deps): bump lodash and reg-cli in /etc/pixel-diffs CI #67: Pull request #113 opened by dependabot Bot
14m 53s dependabot/npm_and_yarn/etc/pixel-diffs/multi-73c261d157
dependabot/npm_and_yarn/etc/pixel-diffs/multi-73c261d157
14m 53s
npm_and_yarn in /etc/pixel-diffs for lodash - Update #1393197261 Dependabot Updates #28: by dependabot Bot
46s main
main
46s
Graph Update: pip in /. #1393195925 Dependency Graph #1: by dependabot Bot
43s main
main
43s
readme: Document the lack of built-in Rocq syntax highlighting in Typst CI #66: Commit 067578b pushed by cpitclaudel
13m 15s main
main
13m 15s
Add a Typst frontend and backend CI #65: Pull request #112 synchronize by cpitclaudel
13m 57s typst
typst
13m 57s
CI CI #64: Scheduled
4m 41s main
main
4m 41s
CI CI #63: Scheduled
15m 28s main
main
15m 28s
CI CI #62: Scheduled
15m 5s main
main
15m 5s
CI CI #61: Scheduled
4m 15s main
main
4m 15s
CI CI #60: Scheduled
5m 2s main
main
5m 2s
CI CI #59: Scheduled
5m 4s main
main
5m 4s
cli: Add a body-only flag (closes #86) CI #58: Commit 58d697f pushed by cpitclaudel
18m 0s main
main
18m 0s