Skip to content

Actions: amelioro/ameliorate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,321 workflow runs
1,321 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on main CodeQL #1016: by keyserj
November 7, 2024 15:38 1m 25s
November 7, 2024 15:38 1m 25s
PR #564 CodeQL #1015: by keyserj
November 7, 2024 15:29 1m 24s
November 7, 2024 15:29 1m 24s
Allow hiding problem criterion solution edges ci #703: Pull request #564 opened by keyserj
November 7, 2024 15:29 1m 44s allow-hiding-problem-criterion-solution-edges
allow-hiding-problem-criterion-solution-edges
November 7, 2024 15:29 1m 44s
Push on main CodeQL #1014: by keyserj
November 6, 2024 15:40 1m 18s
November 6, 2024 15:40 1m 18s
PR #562 CodeQL #1013: by keyserj
November 6, 2024 15:24 1m 22s
November 6, 2024 15:24 1m 22s
Fix store syncing unintentionally ci #702: Pull request #562 opened by keyserj
November 6, 2024 15:24 1m 48s fix-store-syncing-unintentionally
fix-store-syncing-unintentionally
November 6, 2024 15:24 1m 48s
Scheduled CodeQL #1012: by github-advanced-security bot
November 6, 2024 13:21 1m 45s
November 6, 2024 13:21 1m 45s
Push on main CodeQL #1011: by keyserj
November 1, 2024 22:39 1m 41s
November 1, 2024 22:39 1m 41s
PR #555 CodeQL #1010: by keyserj
November 1, 2024 22:14 1m 42s
November 1, 2024 22:14 1m 42s
Misc touchups 9 ci #701: Pull request #555 opened by keyserj
November 1, 2024 22:14 1m 44s misc-touchups-9
misc-touchups-9
November 1, 2024 22:14 1m 44s
Scheduled CodeQL #1009: by github-advanced-security bot
October 30, 2024 13:21 1m 46s
October 30, 2024 13:21 1m 46s
Push on main CodeQL #1008: by keyserj
October 27, 2024 17:32 1m 42s
October 27, 2024 17:32 1m 42s
PR #546 CodeQL #1007: by keyserj
October 27, 2024 17:28 1m 38s
October 27, 2024 17:28 1m 38s
Update store docs ci #700: Pull request #546 opened by keyserj
October 27, 2024 17:28 1m 38s update-store-docs
update-store-docs
October 27, 2024 17:28 1m 38s
Push on main CodeQL #1006: by keyserj
October 25, 2024 22:36 1m 41s
October 25, 2024 22:36 1m 41s
PR #542 CodeQL #1005: by keyserj
October 25, 2024 21:04 1m 51s
October 25, 2024 21:04 1m 51s
chore(deps): bump mermaid from 10.8.0 to 10.9.3 in /docs-site ci #699: Pull request #542 synchronize by keyserj
October 25, 2024 21:04 1m 44s dependabot/npm_and_yarn/docs-site/mermaid-10.9.3
dependabot/npm_and_yarn/docs-site/mermaid-10.9.3
October 25, 2024 21:04 1m 44s
Push on main CodeQL #1004: by keyserj
October 24, 2024 17:33 1m 38s
October 24, 2024 17:33 1m 38s
PR #543 CodeQL #1003: by keyserj
October 24, 2024 17:27 1m 38s
October 24, 2024 17:27 1m 38s
Fix layout not good for different default font sizes ci #698: Pull request #543 synchronize by keyserj
October 24, 2024 17:27 1m 43s fix-layout-not-good-for-different-default-font-sizes
fix-layout-not-good-for-different-default-font-sizes
October 24, 2024 17:27 1m 43s
PR #543 CodeQL #1002: by keyserj
October 24, 2024 17:17 1m 40s
October 24, 2024 17:17 1m 40s
Fix layout not good for different default font sizes ci #697: Pull request #543 synchronize by keyserj
October 24, 2024 17:17 1m 38s fix-layout-not-good-for-different-default-font-sizes
fix-layout-not-good-for-different-default-font-sizes
October 24, 2024 17:17 1m 38s
PR #543 CodeQL #1001: by keyserj
October 24, 2024 17:11 1m 46s
October 24, 2024 17:11 1m 46s
Fix layout not good for different default font sizes ci #696: Pull request #543 synchronize by keyserj
October 24, 2024 17:11 1m 39s fix-layout-not-good-for-different-default-font-sizes
fix-layout-not-good-for-different-default-font-sizes
October 24, 2024 17:11 1m 39s
PR #543 CodeQL #1000: by keyserj
October 24, 2024 16:45 1m 43s
October 24, 2024 16:45 1m 43s