Skip to content

Actions: Inferara/inference

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
866 workflow runs
866 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bug fixes + refactorings + tests Build & Test (PR) #186: Pull request #180 synchronize by 0xGeorgii
11m 29s bug-fixes
bug-fixes
11m 29s
Bug fixes + refactorings + tests Coverage #302: Pull request #180 synchronize by 0xGeorgii
3m 22s bug-fixes
bug-fixes
3m 22s
Bug fixes + refactorings + tests Miri Check #134: Pull request #180 synchronize by 0xGeorgii
1m 37s bug-fixes
bug-fixes
1m 37s
✨ 📝 Generate WASM Theorems Coverage #301: Pull request #181 synchronize by 0xGeorgii
3m 17s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
3m 17s
✨ 📝 Generate WASM Theorems Build & Test (PR) #185: Pull request #181 synchronize by 0xGeorgii
10m 8s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
10m 8s
✨ 📝 Generate WASM Theorems Miri Check #133: Pull request #181 synchronize by 0xGeorgii
1m 49s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
1m 49s
Copilot code review Copilot code review #29: by Copilot AI
1m 23s refs/pull/181/head
refs/pull/181/head
1m 23s
Bug fixes + refactorings + tests Miri Check #132: Pull request #180 synchronize by 0xGeorgii
1m 38s bug-fixes
bug-fixes
1m 38s
Bug fixes + refactorings + tests Build & Test (PR) #184: Pull request #180 synchronize by 0xGeorgii
9m 45s bug-fixes
bug-fixes
9m 45s
Bug fixes + refactorings + tests Coverage #300: Pull request #180 synchronize by 0xGeorgii
3m 19s bug-fixes
bug-fixes
3m 19s
✨ 📝 Generate WASM Theorems Build & Test (PR) #183: Pull request #181 opened by yoshihiro503
1m 55s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
1m 55s
✨ 📝 Generate WASM Theorems Coverage #299: Pull request #181 opened by yoshihiro503
2m 5s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
2m 5s
✨ 📝 Generate WASM Theorems Miri Check #131: Pull request #181 opened by yoshihiro503
1m 27s yoshihiro503@wasm_theorem_generator
yoshihiro503@wasm_theorem_generator
1m 27s
Bug fixes + refactorings + tests Coverage #298: Pull request #180 synchronize by 0xGeorgii
3m 41s bug-fixes
bug-fixes
3m 41s
Bug fixes + refactorings + tests Miri Check #130: Pull request #180 synchronize by 0xGeorgii
1m 32s bug-fixes
bug-fixes
1m 32s
Bug fixes + refactorings + tests Build & Test (PR) #182: Pull request #180 synchronize by 0xGeorgii
10m 14s bug-fixes
bug-fixes
10m 14s
Bug fixes + refactorings + tests Coverage #297: Pull request #180 synchronize by 0xGeorgii
3m 28s bug-fixes
bug-fixes
3m 28s
Bug fixes + refactorings + tests Miri Check #129: Pull request #180 synchronize by 0xGeorgii
1m 29s bug-fixes
bug-fixes
1m 29s
Bug fixes + refactorings + tests Build & Test (PR) #181: Pull request #180 synchronize by 0xGeorgii
13m 14s bug-fixes
bug-fixes
13m 14s
Bug fixes + refactorings + tests Coverage #296: Pull request #180 synchronize by 0xGeorgii
3m 32s bug-fixes
bug-fixes
3m 32s
Bug fixes + refactorings + tests Build & Test (PR) #180: Pull request #180 synchronize by 0xGeorgii
11m 5s bug-fixes
bug-fixes
11m 5s
Bug fixes + refactorings + tests Miri Check #128: Pull request #180 synchronize by 0xGeorgii
1m 32s bug-fixes
bug-fixes
1m 32s
Copilot code review Copilot code review #28: by Copilot AI
4m 35s refs/pull/180/head
refs/pull/180/head
4m 35s
Bug fixes + refactorings + tests Coverage #295: Pull request #180 synchronize by 0xGeorgii
3m 13s bug-fixes
bug-fixes
3m 13s
Bug fixes + refactorings + tests Build & Test (PR) #179: Pull request #180 synchronize by 0xGeorgii
13m 27s bug-fixes
bug-fixes
13m 27s