Skip to content

Actions: NethermindEth/ExtTreeMapLemmas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Nethermind Non-Commercial Software License Lean Action CI #16: Pull request #3 opened by nethermind-oss-compliance bot
2m 25s add-license-file
add-license-file
2m 25s
Add Nethermind Non-Commercial Software License Lean Action CI #15: Commit f5f3b36 pushed by nethermind-oss-compliance bot
2m 9s add-license-file
add-license-file
2m 9s
Merge pull request #1 from NethermindEth/Ferinko/cleanup Lean Action CI #14: Commit 8e5bd14 pushed by nethermind-oss-compliance bot
1m 55s add-license-file
add-license-file
1m 55s
Scheduled CodeQL #13: by github-advanced-security bot
50s master
master
50s
Scheduled CodeQL #12: by github-advanced-security bot
45s master
master
45s
Scheduled CodeQL #11: by github-advanced-security bot
46s master
master
46s
Scheduled CodeQL #10: by github-advanced-security bot
41s master
master
41s
Merge pull request #1 from NethermindEth/Ferinko/cleanup Lean Action CI #13: Commit 8e5bd14 pushed by andreiburdusa
1m 52s master
master
1m 52s
Push on master CodeQL #9: by github-advanced-security bot
1m 10s master
master
1m 10s
Scheduled CodeQL #8: by github-advanced-security bot
57s master
master
57s
Add CODEOWNERS file Lean Action CI #12: Pull request #2 opened by nethermind-oss-compliance bot
14m 11s add-codeowners-file
add-codeowners-file
14m 11s
PR #2 CodeQL #7: by nethermind-oss-compliance bot
46s refs/pull/2/head
refs/pull/2/head
46s
Add CODEOWNERS file template Lean Action CI #11: Commit 43b387a pushed by nethermind-oss-compliance bot
13m 41s add-codeowners-file
add-codeowners-file
13m 41s
Update ExtTreeMap.lean Lean Action CI #10: Commit 7a5a875 pushed by nethermind-oss-compliance bot
13m 29s add-codeowners-file
add-codeowners-file
13m 29s
Ferinko/cleanup Lean Action CI #9: Pull request #1 synchronize by Ferinko
1m 46s Ferinko/cleanup
Ferinko/cleanup
1m 46s
PR #1 CodeQL #6: by Ferinko
51s refs/pull/1/head
refs/pull/1/head
51s
fix naming scheme Lean Action CI #8: Commit 0721cd4 pushed by Ferinko
1m 27s Ferinko/cleanup
Ferinko/cleanup
1m 27s
Ferinko/cleanup Lean Action CI #7: Pull request #1 opened by Ferinko
1m 32s Ferinko/cleanup
Ferinko/cleanup
1m 32s
PR #1 CodeQL #5: by Ferinko
56s refs/pull/1/head
refs/pull/1/head
56s
cleanup ExtTreeMap lemmas Lean Action CI #6: Commit fa2f4fd pushed by Ferinko
1m 39s Ferinko/cleanup
Ferinko/cleanup
1m 39s
WIP Lean Action CI #5: Commit 81eff3c pushed by Ferinko
1m 37s Ferinko/cleanup
Ferinko/cleanup
1m 37s
fix project superstructure Lean Action CI #4: Commit da4df1e pushed by Ferinko
1m 15s Ferinko/cleanup
Ferinko/cleanup
1m 15s
Update ExtTreeMap.lean Lean Action CI #3: Commit 7a5a875 pushed by andreiburdusa
1m 22s master
master
1m 22s
Push on master CodeQL #4: by andreiburdusa
42s master
master
42s
Scheduled CodeQL #3: by github-advanced-security bot
45s master
master
45s