Skip to content

Actions: oralang/ora

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
423 workflow runs
423 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #373: Scheduled
26m 51s main
main
26m 51s
Merge pull request #43 from oralang/38-hat---group-bitfiled-issues CI #372: Commit e8e4df7 pushed by ngmachado
1h 49m 11s main
main
1h 49m 11s
38 hat group bitfiled issues CI #371: Pull request #43 opened by ngmachado
2h 16m 56s 38-hat---group-bitfiled-issues
38-hat---group-bitfiled-issues
2h 16m 56s
Merge pull request #42 from oralang/26-p3-adopt-mapk-v-source-syntax-… CI #370: Commit 64dfae9 pushed by ngmachado
27m 51s main
main
27m 51s
change map declaration CI #369: Pull request #42 synchronize by ngmachado
27m 13s 26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
27m 13s
change map declaration CI #368: Pull request #42 synchronize by ngmachado
32m 39s 26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
32m 39s
change map declaration CI #367: Pull request #42 synchronize by ngmachado
10m 42s 26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
10m 42s
change map declaration CI #366: Pull request #42 synchronize by ngmachado
11m 11s 26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
11m 11s
change map declaration CI #365: Pull request #42 opened by ngmachado
6m 59s 26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
26-p3-adopt-mapk-v-source-syntax-while-keeping-the-map-keyword-for-solidity-oriented-readability
6m 59s
CI CI #364: Scheduled
11m 55s main
main
11m 55s
refactor CI #363: Commit 5b1f47f pushed by ngmachado
1h 31m 37s main
main
1h 31m 37s
Merge pull request #41 from oralang/SIR-Text CI #362: Commit 356b522 pushed by ngmachado
1h 19m 7s main
main
1h 19m 7s
Fix legalizer CI #361: Pull request #41 opened by ngmachado
2h 21m 43s SIR-Text
SIR-Text
2h 21m 43s
Merge pull request #40 from oralang/20-p0-mlir-verifier-is-disabled-i… CI #360: Commit e0c949f pushed by ngmachado
1h 28m 47s main
main
1h 28m 47s
20 p0 mlir verifier is disabled in critical pipelines allowing malformed ir to proceed CI #359: Pull request #40 opened by ngmachado
1h 17m 15s 20-p0-mlir-verifier-is-disabled-in-critical-pipelines-allowing-malformed-ir-to-proceed
20-p0-mlir-verifier-is-disabled-in-critical-pipelines-allowing-malformed-ir-to-proceed
1h 17m 15s
Merge pull request #39 from oralang/20-p0-mlir-verifier-is-disabled-i… CI #358: Commit b52d313 pushed by ngmachado
3m 56s main
main
3m 56s
force validation, if MLIR Lowering detected CI #357: Pull request #39 opened by ngmachado
1h 37m 4s 20-p0-mlir-verifier-is-disabled-in-critical-pipelines-allowing-malformed-ir-to-proceed
20-p0-mlir-verifier-is-disabled-in-critical-pipelines-allowing-malformed-ir-to-proceed
1h 37m 4s
Merge pull request #36 from oralang/35-p0-reduce-unstable-satunknown-… CI #356: Commit dfbb1b5 pushed by ngmachado
21m 28s main
main
21m 28s
Close #35 CI #355: Pull request #36 synchronize by ngmachado
21m 19s 35-p0-reduce-unstable-satunknown-on-loop-arithmetic-safety-obligations
35-p0-reduce-unstable-satunknown-on-loop-arithmetic-safety-obligations
21m 19s
Close #35 CI #354: Pull request #36 synchronize by ngmachado
12m 48s 35-p0-reduce-unstable-satunknown-on-loop-arithmetic-safety-obligations
35-p0-reduce-unstable-satunknown-on-loop-arithmetic-safety-obligations
12m 48s
CI CI #353: Scheduled
14m 23s main
main
14m 23s
Close #35 CI #352: Pull request #36 synchronize by ngmachado
17m 24s 35-p0-reduce-unstable-satunknown-on-loop-arithmetic-safety-obligations
35-p0-reduce-unstable-satunknown-on-loop-arithmetic-safety-obligations
17m 24s
update spec CI #351: Commit c56a3b2 pushed by ngmachado
15m 7s main
main
15m 7s
CI CI #350: Scheduled
17m 6s main
main
17m 6s
new post CI #349: Commit f45394e pushed by ngmachado
18m 26s main
main
18m 26s