Skip to content

Actions: benmandrew/bf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
feat: Optimisation Build and Test #106: Commit dfc60e5 pushed by benmandrew
3m 36s main
main
3m 36s
doc: Document model checking details Build and Test #105: Commit a54f039 pushed by benmandrew
3m 30s main
main
3m 30s
chore: Add docs to README Build and Test #104: Commit 4e3bb72 pushed by benmandrew
4m 1s main
main
4m 1s
feat(ci): Build ARM64 Docker images Build and Test #103: Commit 22ce76f pushed by benmandrew
3m 43s main
main
3m 43s
feat(docs): Add GitHub link Build and Test #102: Commit 7448e39 pushed by benmandrew
3m 58s main
main
3m 58s
chore: Add LICENCE Build and Test #101: Commit ba57d6e pushed by benmandrew
4m 4s main
main
4m 4s
feat: Extract CMakeLists.txt by functionality Build and Test #100: Commit bee56e3 pushed by benmandrew
3m 55s main
main
3m 55s
chore: Formatting and code readability Build and Test #99: Commit e91dcc0 pushed by benmandrew
3m 41s main
main
3m 41s
fix: Guard docs dir in build Build and Test #98: Commit f1007d2 pushed by benmandrew
3m 49s main
main
3m 49s
feat: Allow some targets when LLVM is unavailable Build and Test #97: Commit 13e5eac pushed by benmandrew
3m 3s main
main
3m 3s
fix: Correct .dockerignore Build and Test #96: Commit 9e04521 pushed by benmandrew
4m 2s main
main
4m 2s
fix: Correct paths Build and Test #95: Commit 34224bf pushed by benmandrew
2m 53s main
main
2m 53s
fix(ci): Don't try to include docs in Docker build Build and Test #94: Commit 7d5c33e pushed by benmandrew
2m 59s main
main
2m 59s
fix(doc): Correct README Build and Test #93: Commit 907d3ad pushed by benmandrew
2m 36s main
main
2m 36s
feat(ci): Swap Docker push to GitHub Build and Test #92: Commit 48a26f1 pushed by benmandrew
2m 26s main
main
2m 26s
chore(web): Move go server to web directory Build and Test #91: Commit 56ba689 pushed by benmandrew
1m 35s main
main
1m 35s
Merge branch docs Build and Test #90: Commit ec74a98 pushed by benmandrew
1m 35s main
main
1m 35s
Code Documentation Build and Test #89: Pull request #4 synchronize by benmandrew
1m 39s docs
docs
1m 39s
Code Documentation Build and Test #88: Pull request #4 synchronize by benmandrew
2m 0s docs
docs
2m 0s
Code Documentation Build and Test #87: Pull request #4 synchronize by benmandrew
57s docs
docs
57s
Code Documentation Build and Test #86: Pull request #4 opened by benmandrew
1m 48s docs
docs
1m 48s
fix: Update deprecated LLVM usage Build and Test #85: Commit 6d47939 pushed by benmandrew
48s main
main
48s
feat: Add mean build time to Prometheus metrics Build and Test #84: Commit 4a18a95 pushed by benmandrew
1m 48s main
main
1m 48s
feat(doc): Remove unnecessary command from README Build and Test #83: Commit 5a322f7 pushed by benmandrew
1m 57s main
main
1m 57s
fix: Add DOCKER_BUILD flag to CMakeLists.txt Build and Test #82: Commit 20741c1 pushed by benmandrew
1m 49s main
main
1m 49s