build · Workflow runs · PrefLib/preflibtools · GitHub

Actions

All workflows
Workflows
- build build
- Build and Push Docs Build and Push Docs
- pages-build-deployment pages-build-deployment
- publish publish
Management
- Caches
- Deployments

build

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

Change email address build #173: Commit 6db25a7 pushed by Simon-Rey

3m 18s main

main

3m 18s

Remove deprecated builds build #172: Commit 671157b pushed by Simon-Rey

3m 21s main

main

3m 21s

Switching to PuLP build #171: Commit e2c6652 pushed by Simon-Rey

3m 12s main

main

3m 12s