Skip to content

Actions: SciML/FunctionProperties.jl

Actions

format-check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
FormatCheck.yml
99 workflow runs
99 workflow runs

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
[WIP – ignore until reviewed by @ChrisRackauckas] Property suite: isautonomous, issmooth, hasrandomness, hasmutation, ispure, isinferable format-check #132: Pull request #67 opened by ChrisRackauckas-Claude
Queued ChrisRackauckas-Claude:property-suite
ChrisRackauckas-Claude:property-suite
Queued
[WIP – ignore until reviewed by @ChrisRackauckas] Add islinear/isquadratic: polynomial-degree certification by tracer types format-check #131: Pull request #66 synchronize by ChrisRackauckas-Claude
Queued ChrisRackauckas-Claude:islinear-isquadratic
ChrisRackauckas-Claude:islinear-isquadratic
Queued
Merge pull request #64 from ChrisRackauckas-Claude/constprop-refutation format-check #130: Commit e580452 pushed by ChrisRackauckas
10m 30s main
main
10m 30s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #129: Pull request #64 synchronize by ChrisRackauckas-Claude
11m 40s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
11m 40s
Merge pull request #65 from ChrisRackauckas-Claude/fix-red-lane format-check #128: Commit 16668e2 pushed by ChrisRackauckas
5m 3s main
main
5m 3s
QA: ignore Core/Base IR-introspection internals in public-API check format-check #127: Pull request #65 opened by ChrisRackauckas-Claude
59s ChrisRackauckas-Claude:fix-red-lane
ChrisRackauckas-Claude:fix-red-lane
59s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #126: Pull request #64 synchronize by ChrisRackauckas-Claude
57s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
57s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #125: Pull request #64 synchronize by ChrisRackauckas-Claude
56s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
56s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #124: Pull request #64 synchronize by ChrisRackauckas-Claude
54s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
54s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #123: Pull request #64 synchronize by ChrisRackauckas-Claude
56s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
56s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #122: Pull request #64 synchronize by ChrisRackauckas-Claude
54s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
54s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #121: Pull request #64 synchronize by ChrisRackauckas-Claude
1m 0s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
1m 0s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #120: Pull request #64 synchronize by ChrisRackauckas-Claude
52s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
52s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #119: Pull request #64 synchronize by ChrisRackauckas-Claude
55s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
55s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #118: Pull request #64 synchronize by ChrisRackauckas-Claude
45s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
45s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #117: Pull request #64 synchronize by ChrisRackauckas-Claude
57s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
57s
[WIP – ignore until reviewed by @ChrisRackauckas] Release v1.0.0: constant refutation replaces is_leaf_sig format-check #116: Pull request #64 opened by ChrisRackauckas-Claude
55s ChrisRackauckas-Claude:constprop-refutation
ChrisRackauckas-Claude:constprop-refutation
55s
[WIP – ignore until reviewed by @ChrisRackauckas] Experimental: constant-propagation-aware recursion (opt-in) format-check #115: Pull request #63 synchronize by ChrisRackauckas-Claude
57s ChrisRackauckas-Claude:constprop-aware-recursion
ChrisRackauckas-Claude:constprop-aware-recursion
57s
[WIP – ignore until reviewed by @ChrisRackauckas] Experimental: constant-propagation-aware recursion (opt-in) format-check #114: Pull request #63 opened by ChrisRackauckas-Claude
1m 14s ChrisRackauckas-Claude:constprop-aware-recursion
ChrisRackauckas-Claude:constprop-aware-recursion
1m 14s
Merge pull request #62 from ChrisRackauckas-Claude/value-independent-… format-check #113: Commit 1be96a2 pushed by ChrisRackauckas
3m 7s main
main
3m 7s
Detect value-independent branches: const-fold, splat-follow, is_leaf_sig format-check #112: Pull request #62 opened by ChrisRackauckas-Claude
55s ChrisRackauckas-Claude:value-independent-branch-detection
ChrisRackauckas-Claude:value-independent-branch-detection
55s
Update Project.toml format-check #111: Commit 9d7649a pushed by ChrisRackauckas
2h 49m 56s main
main
2h 49m 56s
Merge pull request #61 from ChrisRackauckas-Claude/fix/recursive-type… format-check #110: Commit 4e13b9b pushed by ChrisRackauckas
2h 52m 3s main
main
2h 52m 3s
Recurse through typed IR so branches behind call boundaries are detected format-check #109: Pull request #61 synchronize by ChrisRackauckas
3h 2m 52s ChrisRackauckas-Claude:fix/recursive-typed-ir-branch-detection
ChrisRackauckas-Claude:fix/recursive-typed-ir-branch-detection
3h 2m 52s
Recurse through typed IR so branches behind call boundaries are detected format-check #108: Pull request #61 opened by ChrisRackauckas-Claude
2h 55m 37s ChrisRackauckas-Claude:fix/recursive-typed-ir-branch-detection
ChrisRackauckas-Claude:fix/recursive-typed-ir-branch-detection
2h 55m 37s