Skip to content

Actions: JabRef/jabref

Deployment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7,307 workflow runs
7,307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deployment
Deployment #22218: Merge group checks requested
March 9, 2025 21:39 10m 2s
March 9, 2025 21:39 10m 2s
Enable product-map for contributions (#12661)
Deployment #22213: Commit 357d0ae pushed by github-merge-queue bot
March 9, 2025 15:26 11m 17s main
March 9, 2025 15:26 11m 17s
Deployment
Deployment #22212: Merge group checks requested
March 9, 2025 15:16 9m 45s
March 9, 2025 15:16 9m 45s
Enable product-map for contributions
Deployment #22211: Pull request #12661 opened by koppor
March 9, 2025 15:04 11m 24s koppor-patch-1
March 9, 2025 15:04 11m 24s
Improve tab closing logic by avoiding redundant calls
Deployment #22206: Pull request #12653 opened by AashifAmeer
March 8, 2025 20:47 6m 55s AashifAmeer:fix-12530
March 8, 2025 20:47 6m 55s
Deployment
Deployment #22200: Merge group checks requested
March 8, 2025 15:29 10m 15s
March 8, 2025 15:29 10m 15s
Issue#12585: When merging groups or keywords, remove duplicates
Deployment #22198: Pull request #12650 opened by jerryyummy
March 8, 2025 04:49 6m 51s jerryyummy:main
March 8, 2025 04:49 6m 51s
New Crowdin updates (#12648)
Deployment #22197: Commit 7e5bdc0 pushed by github-merge-queue bot
March 8, 2025 01:35 11m 28s main
March 8, 2025 01:35 11m 28s
Deployment
Deployment #22196: Merge group checks requested
March 8, 2025 01:23 11m 43s
March 8, 2025 01:23 11m 43s