Skip to content

Actions: brunompacheco/IPG.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reproduce results from original paper in EBMC example tests #45: Pull request #8 synchronize by brunompacheco
15m 54s max-cov-example
max-cov-example
15m 54s
Reproduce results from original paper in EBMC example tests #44: Pull request #8 synchronize by brunompacheco
14m 35s max-cov-example
max-cov-example
14m 35s
Reproduce results from original paper in EBMC example tests #43: Pull request #8 opened by brunompacheco
16m 10s max-cov-example
max-cov-example
16m 10s
Merge pull request #7 from brunompacheco/max-cov-example tests #42: Commit 5a53af9 pushed by brunompacheco
15m 56s main
main
15m 56s
Max cov example tests #41: Pull request #7 synchronize by brunompacheco
12m 14s max-cov-example
max-cov-example
12m 14s
Support multiplayer nonlinear games tests #40: Pull request #6 synchronize by brunompacheco
4m 35s multi-player
multi-player
4m 35s
Max cov example tests #39: Pull request #7 opened by brunompacheco
14m 30s max-cov-example
max-cov-example
14m 30s
Support multiplayer nonlinear games tests #38: Pull request #6 opened by brunompacheco
11s multi-player
multi-player
11s
use dispatch-based selectors for customizable parts of SGM tests #37: Pull request #5 opened by brunompacheco
4m 24s dispatch-based-configs
dispatch-based-configs
4m 24s
Merge pull request #4 from brunompacheco/test-refactor tests #36: Commit f7c1265 pushed by brunompacheco
14m 42s main
main
14m 42s
organize the tests into multiple files tests #35: Pull request #4 opened by brunompacheco
13m 50s test-refactor
test-refactor
13m 50s
Merge pull request #2 from brunompacheco/examples tests #34: Commit c297a5a pushed by brunompacheco
12m 47s main
main
12m 47s
Examples tests #33: Pull request #2 synchronize by brunompacheco
12m 44s examples
examples
12m 44s
Examples tests #32: Pull request #2 synchronize by brunompacheco
1m 35s examples
examples
1m 35s
Examples tests #31: Pull request #2 synchronize by brunompacheco
43s examples
examples
43s
Examples tests #30: Pull request #2 synchronize by brunompacheco
50s examples
examples
50s
Running Copilot Copilot #1: by Copilot AI
21m 12s copilot/fix-2fbe316f-6d75-49f3-9ca6-55519ce4ff2d
copilot/fix-2fbe316f-6d75-49f3-9ca6-55519ce4ff2d
21m 12s
Examples tests #28: Pull request #2 opened by brunompacheco
1m 34s examples
examples
1m 34s
add codecov badge tests #27: Commit 8f41020 pushed by brunompacheco
1m 45s main
main
1m 45s
add codecov coverage tests #26: Commit 4813aef pushed by brunompacheco
1m 37s main
main
1m 37s
External variables as parameters; evaluate NonlinearExpr through recu… tests #25: Commit fc11e08 pushed by brunompacheco
1m 27s main
main
1m 27s
Parameters tests #24: Pull request #1 synchronize by brunompacheco
1m 30s parameters
parameters
1m 30s
Parameters tests #23: Pull request #1 synchronize by brunompacheco
1m 30s parameters
parameters
1m 30s
Parameters tests #22: Pull request #1 synchronize by brunompacheco
1m 34s parameters
parameters
1m 34s
Parameters tests #21: Pull request #1 synchronize by brunompacheco
1m 29s parameters
parameters
1m 29s