format-check · Workflow runs · SciML/FunctionProperties.jl · GitHub

Actions

All workflows
Workflows
- Dependabot Auto-merge Dependabot Auto-merge
- Dependabot Updates Dependabot Updates
- DocsPreviewCleanup DocsPreviewCleanup
- Documentation Documentation
- Downgrade Downgrade
- format-check format-check
- IntegrationTest IntegrationTest
- Runic Suggestions Runic Suggestions
- Spell Check Spell Check
- TagBot TagBot
Management
- Caches

format-check

Actions

Loading...
Loading

FormatCheck.yml

105 workflow runs

105 workflow runs

Update Project.toml format-check #138: Commit 2b1b1c8 pushed by ChrisRackauckas

11m 51s main

main

11m 51s

Delete p8_12.log format-check #137: Commit 49107ad pushed by ChrisRackauckas

11m 31s main

main

11m 31s

Merge pull request #67 from ChrisRackauckas-Claude/property-suite format-check #136: Commit 5ccfe98 pushed by ChrisRackauckas

11m 58s main

main

11m 58s

Merge pull request #66 from ChrisRackauckas-Claude/islinear-isquadratic format-check #135: Commit 7265587 pushed by ChrisRackauckas

25m 21s main

main

25m 21s

[WIP – ignore until reviewed by @ChrisRackauckas] Property suite: isautonomous, issmooth, hasrandomness, hasmutation, ispure, isinferable format-check #134: Pull request #67 synchronize by ChrisRackauckas-Claude

6m 16s ChrisRackauckas-Claude:property-suite

ChrisRackauckas-Claude:property-suite

6m 16s

[WIP – ignore until reviewed by @ChrisRackauckas] Property suite: isautonomous, issmooth, hasrandomness, hasmutation, ispure, isinferable format-check #133: Pull request #67 synchronize by ChrisRackauckas-Claude

1h 3m 42s ChrisRackauckas-Claude:property-suite

ChrisRackauckas-Claude:property-suite

1h 3m 42s

[WIP – ignore until reviewed by @ChrisRackauckas] Property suite: isautonomous, issmooth, hasrandomness, hasmutation, ispure, isinferable format-check #132: Pull request #67 opened by ChrisRackauckas-Claude

1h 26m 9s ChrisRackauckas-Claude:property-suite

ChrisRackauckas-Claude:property-suite

1h 26m 9s

[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

1h 15m 5s ChrisRackauckas-Claude:islinear-isquadratic

ChrisRackauckas-Claude:islinear-isquadratic

1h 15m 5s

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