Skip to content

Actions: JuliaDiff/DifferentiationInterface.jl

Actions

Pre-Commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PreCommit.yml
512 workflow runs
512 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
chore: format Markdown and docstrings Pre-Commit #12: Pull request #838 opened by gdalle
2m 41s gd/change_formatting
gd/change_formatting
2m 41s
chore: set up pre-commit for formatting (#837) Pre-Commit #11: Commit 63820d4 pushed by gdalle
1m 21s main
main
1m 21s
chore: set up pre-commit for formatting Pre-Commit #10: Pull request #837 ready_for_review by gdalle
42s gd/pre-commit
gd/pre-commit
42s
chore: set up pre-commit for formatting Pre-Commit #9: Pull request #837 synchronize by gdalle
36s gd/pre-commit
gd/pre-commit
36s
chore: set up pre-commit for formatting Pre-Commit #8: Pull request #837 synchronize by gdalle
45s gd/pre-commit
gd/pre-commit
45s
chore: set up pre-commit for formatting Pre-Commit #7: Pull request #837 synchronize by gdalle
1m 34s gd/pre-commit
gd/pre-commit
1m 34s
chore: set up pre-commit for formatting Pre-Commit #6: Pull request #837 synchronize by gdalle
1m 26s gd/pre-commit
gd/pre-commit
1m 26s
chore: set up pre-commit for formatting Pre-Commit #5: Pull request #837 synchronize by gdalle
1m 27s gd/pre-commit
gd/pre-commit
1m 27s
chore: set up pre-commit for formatting Pre-Commit #4: Pull request #837 synchronize by gdalle
1m 25s gd/pre-commit
gd/pre-commit
1m 25s
chore: set up pre-commit for formatting Pre-Commit #3: Pull request #837 synchronize by gdalle
22s gd/pre-commit
gd/pre-commit
22s
chore: set up pre-commit for formatting Pre-Commit #2: Pull request #837 synchronize by gdalle
46s gd/pre-commit
gd/pre-commit
46s
chore: set up pre-commit for formatting Pre-Commit #1: Pull request #837 opened by gdalle
13s gd/pre-commit
gd/pre-commit
13s
ProTip! You can narrow down the results and go further in time using created:<2025-08-15 or the other filters available.