Skip to content

Actions: abitofhelp/functional

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update shared submodule with coverage SID path fix Windows CI #68: Commit 0a2c422 pushed by abitofhelp
1m 53s main
main
1m 53s
refactor: move shared python submodule to scripts/python/shared Windows CI #67: Commit 0d24b7d pushed by abitofhelp
1m 18s main
main
1m 18s
test(try): add tests for uncovered Functional.Try functions Windows CI #66: Commit ff0a5e2 pushed by abitofhelp
1m 19s main
main
1m 19s
chore: remove docs/common submodule Windows CI #65: Commit 363f55f pushed by abitofhelp
1m 29s main
main
1m 29s
chore: update scripts/python (SPARK status error reporting) Windows CI #64: Commit 274db33 pushed by abitofhelp
1m 19s main
main
1m 19s
docs(changelog): add SPARK stats for v4.1.0 (410 checks, 98% proved) Windows CI #63: Commit 8a1509d pushed by abitofhelp
1m 29s main
main
1m 29s
fix(changelog): use SPARK Status format for release script compatibility Windows CI #62: Commit 7062b5e pushed by abitofhelp
2m 6s main
main
2m 6s
chore(deps): update docs/common submodule Windows CI #61: Commit c3bc381 pushed by abitofhelp
1m 56s main
main
1m 56s
Windows Release Validation Windows Release Validation #5: Manually run by abitofhelp
1m 15s main
main
1m 15s
chore: release prepare updates for 4.1.0 Windows CI #60: Commit e60edea pushed by abitofhelp
1m 24s main
main
1m 24s
chore: update scripts/python submodule (fix import path) Windows CI #59: Commit c1ca1fb pushed by abitofhelp
1m 34s main
main
1m 34s
docs(changelog): fix date format and add test counts for 4.1.0 Windows CI #58: Commit 999226f pushed by abitofhelp
2m 5s main
main
2m 5s
docs: regenerate documentation for v4.1.0 release Windows CI #57: Commit 8821598 pushed by abitofhelp
1m 32s main
main
1m 32s
docs(changelog): add Fixed section for 4.1.0 Windows CI #56: Commit c29a21c pushed by abitofhelp
1m 35s main
main
1m 35s
Windows Release Validation Windows Release Validation #4: Manually run by abitofhelp
2m 3s main
main
2m 3s
fix(test): suppress expected warnings in test suite Windows CI #55: Commit dd6e24c pushed by abitofhelp
1m 35s main
main
1m 35s
release(4.1.0): deprecate procedural Try functions, keep Option Windows CI #54: Commit 9ea48b3 pushed by abitofhelp
1m 29s main
main
1m 29s
chore(deps): update scripts/python submodule Windows CI #53: Commit 959bda0 pushed by abitofhelp
1m 22s main
main
1m 22s
chore: synchronize with reference project standards Windows CI #52: Commit 1967458 pushed by abitofhelp
1m 14s main
main
1m 14s
docs: add links to production Result/Option examples in tzif and zone… Windows CI #51: Commit 25d6b32 pushed by abitofhelp
1m 45s main
main
1m 45s
build: change spark-prove to use -j0 for all available cores Windows CI #50: Commit 4b5a9c6 pushed by abitofhelp
1m 17s main
main
1m 17s
chore(deps): update docs/common submodule to latest Windows CI #49: Commit 5ef5b46 pushed by abitofhelp
2m 0s main
main
2m 0s
feat(spark): comprehensive SPARK proof coverage for all operations Windows CI #48: Commit daa7ed9 pushed by abitofhelp
1m 22s main
main
1m 22s
docs: updated description in alire.toml Windows CI #47: Commit 2203449 pushed by abitofhelp
1m 22s main
main
1m 22s
Windows Release Validation Windows Release Validation #3: Manually run by abitofhelp
1m 21s main
main
1m 21s