Skip to content

Actions: or4nge19/NeuralNetworks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 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
github_actions in /. - Update #1262280342 Dependabot Updates #14: by dependabot bot
21s main
main
21s
github_actions in /. - Update #1228420238 Dependabot Updates #13: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1195511817 Dependabot Updates #12: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1168757590 Dependabot Updates #11: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1140094277 Dependabot Updates #10: by dependabot bot
27s main
main
27s
github_actions in /. - Update #1114260700 Dependabot Updates #9: by dependabot bot
34s main
main
34s
Merge pull request #16 from or4nge19/NN Build NeuralNetworks #80: Commit af96fde pushed by or4nge19
7m 5s main
main
7m 5s
Update Constructive.lean Build NeuralNetworks #79: Pull request #16 opened by or4nge19
7m 18s NN
NN
7m 18s
Merge pull request #15 from or4nge19/NN Build NeuralNetworks #78: Commit 664930f pushed by or4nge19
7m 28s main
main
7m 28s
add Creals + Haskell Build NeuralNetworks #77: Pull request #15 opened by or4nge19
7m 30s NN
NN
7m 30s
Merge pull request #14 from or4nge19/NN Build NeuralNetworks #76: Commit 8e7cd28 pushed by or4nge19
7m 10s main
main
7m 10s
feat CReal Build NeuralNetworks #75: Pull request #14 opened by or4nge19
7m 40s NN
NN
7m 40s
Merge pull request #13 from or4nge19/NN Build NeuralNetworks #74: Commit 4870108 pushed by or4nge19
7m 14s main
main
7m 14s
Update LayoutBuilder.lean Build NeuralNetworks #73: Pull request #13 opened by or4nge19
7m 16s NN
NN
7m 16s
Merge pull request #12 from or4nge19/NN Build NeuralNetworks #72: Commit 982aa9e pushed by or4nge19
3m 13s main
main
3m 13s
Create LayoutBuilder.lean Build NeuralNetworks #71: Pull request #12 opened by or4nge19
7m 35s NN
NN
7m 35s
Merge pull request #10 from or4nge19/NN Build NeuralNetworks #70: Commit de93d44 pushed by or4nge19
7m 49s main
main
7m 49s
Update NNQuiver.lean Build NeuralNetworks #69: Pull request #10 opened by or4nge19
7m 15s NN
NN
7m 15s
Merge pull request #8 from or4nge19/NN Build NeuralNetworks #68: Commit 563fe80 pushed by or4nge19
7m 20s main
main
7m 20s
port Optilib and create NN, NNQuiver and ContinuousDynamics Build NeuralNetworks #67: Pull request #8 opened by or4nge19
7m 20s NN
NN
7m 20s
Merge pull request #7 from or4nge19/NN Build NeuralNetworks #66: Commit 6128928 pushed by or4nge19
2m 12s main
main
2m 12s
fixes Build NeuralNetworks #65: Pull request #7 opened by or4nge19
1m 46s NN
NN
1m 46s
Merge pull request #5 from or4nge19/NN Build NeuralNetworks #64: Commit db42071 pushed by or4nge19
1m 34s main
main
1m 34s
Nn Build NeuralNetworks #63: Pull request #5 opened by or4nge19
1m 26s NN
NN
1m 26s
Merge pull request #2 from or4nge19/NN Create Release #3: Commit 2fe2e0a pushed by or4nge19
9s main
main
9s