Skip to content

Actions: Grid2op/grid2op

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #67: by github-advanced-security bot
1m 38s master
master
1m 38s
Scheduled CodeQL #66: by github-advanced-security bot
1m 45s master
master
1m 45s
Scheduled CodeQL #65: by github-advanced-security bot
1m 42s master
master
1m 42s
Scheduled CodeQL #64: by github-advanced-security bot
1m 43s master
master
1m 43s
Scheduled CodeQL #63: by github-advanced-security bot
1m 51s master
master
1m 51s
start dev 1.12.3 branch CI #195: Commit 9d24261 pushed by BDonnot
5m 2s dev_1.12.3
dev_1.12.3
5m 2s
Merge pull request #733 from Grid2op/dev_1.12.2 CI #194: Commit bae5813 pushed by BDonnot
5m 6s v1.12.2
v1.12.2
5m 6s
Merge pull request #733 from Grid2op/dev_1.12.2 CI #193: Commit bae5813 pushed by BDonnot
4m 48s master
master
4m 48s
Push on master CodeQL #62: by github-advanced-security bot
2m 2s master
master
2m 2s
PR #733 CodeQL #61: by BDonnot
1m 43s refs/pull/733/head
refs/pull/733/head
1m 43s
fix grid2op version issue CI #192: Commit 70346c5 pushed by BDonnot
5m 11s dev_1.12.2
dev_1.12.2
5m 11s
PR #733 CodeQL #60: by BDonnot
1m 42s refs/pull/733/head
refs/pull/733/head
1m 42s
prepare release 1.12.2 CI #191: Commit dd7b3e2 pushed by BDonnot
4m 47s dev_1.12.2
dev_1.12.2
4m 47s
PR #733 CodeQL #59: by BDonnot
1m 45s refs/pull/733/head
refs/pull/733/head
1m 45s
Merge pull request #732 from BDonnot/bd_dev CI #190: Commit 90b7c14 pushed by BDonnot
5m 4s dev_1.12.2
dev_1.12.2
5m 4s
Scheduled CodeQL #58: by github-advanced-security bot
1m 45s master
master
1m 45s
Scheduled CodeQL #57: by github-advanced-security bot
1m 44s master
master
1m 44s
Scheduled CodeQL #56: by github-advanced-security bot
1m 45s master
master
1m 45s
Scheduled CodeQL #55: by github-advanced-security bot
1m 49s master
master
1m 49s
Merge branch 'dev_1.12.2' into env_recorder CI #189: Commit b8376c4 pushed by quinarygio
47s env_recorder
env_recorder
47s
Apply changes after review CI #188: Commit 857542d pushed by quinarygio
1m 12s env_recorder
env_recorder
1m 12s
Scheduled CodeQL #54: by github-advanced-security bot
1m 43s master
master
1m 43s
Scheduled CodeQL #53: by github-advanced-security bot
1m 48s master
master
1m 48s
merge with dev_1.12.2 CI #187: Commit c58afed pushed by BDonnot
4m 37s dev-switches
dev-switches
4m 37s
Merge pull request #729 from BDonnot/bd_dev CI #186: Commit 79f42cc pushed by BDonnot
3m 48s dev_1.12.2
dev_1.12.2
3m 48s