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 #173: Scheduled
2h 15m 17s main
main
2h 15m 17s
init z3 integration CI #172: Pull request #11 opened by ngmachado
1h 56m 57s z3
z3
1h 56m 57s
CI CI #171: Scheduled
1h 52m 30s main
main
1h 52m 30s
Merge pull request #10 from oralang/abi CI #170: Commit 15e7a65 pushed by ngmachado
1h 51m 12s main
main
1h 51m 12s
basic abi and cmds to see it CI #169: Pull request #10 opened by ngmachado
1h 58m 32s abi
abi
1h 58m 32s
Merge pull request #9 from oralang/standardlib CI #168: Commit a6f7ba5 pushed by ngmachado
1h 50m 5s main
main
1h 50m 5s
Standardlib CI #167: Pull request #9 opened by ngmachado
2h 4m 38s standardlib
standardlib
2h 4m 38s
Merge pull request #8 from oralang/mlir_polish CI #166: Commit 624c6f0 pushed by ngmachado
1h 48m 42s main
main
1h 48m 42s
Mlir polish CI #165: Pull request #8 opened by ngmachado
1h 50m 8s mlir_polish
mlir_polish
1h 50m 8s
CI CI #164: Scheduled
2h 10m 41s main
main
2h 10m 41s
CI CI #163: Scheduled
1h 50m 34s main
main
1h 50m 34s
Merge pull request #7 from oralang/complexity_analysis CI #162: Commit 05587ea pushed by ngmachado
2h 14m 33s main
main
2h 14m 33s
Complexity analysis CI #161: Pull request #7 opened by ngmachado
2h 17m 3s complexity_analysis
complexity_analysis
2h 17m 3s
More polish and clear syntax CI #160: Commit ec75f8d pushed by ngmachado
2h 7m 52s main
main
2h 7m 52s
major update on docs and website CI #159: Commit 4be474f pushed by ngmachado
1h 56m 16s main
main
1h 56m 16s
CI CI #158: Scheduled
1h 53m 40s main
main
1h 53m 40s
add setup and CI fix CI #157: Commit be24c3c pushed by ngmachado
1h 50m 1s main
main
1h 50m 1s
Massive cleaning CI #156: Commit d76644f pushed by ngmachado
27s main
main
27s
CI CI #155: Scheduled
24s main
main
24s
more clean CI #154: Commit 5981b2e pushed by ngmachado
25s main
main
25s
continue to polish modules of Ora pipeline CI #153: Commit ec26bf2 pushed by ngmachado
1m 2s main
main
1m 2s
refactor cmds CI #152: Commit a4317a7 pushed by ngmachado
27s main
main
27s
CI CI #151: Scheduled
31s main
main
31s
Merge pull request #6 from oralang/temp CI #150: Commit d4a865f pushed by ngmachado
17s main
main
17s
Multi Fixes - Important Switch cases support to MLIR lowering CI #149: Pull request #6 opened by ngmachado
14s temp
temp
14s
ProTip! You can narrow down the results and go further in time using created:<2025-10-20 or the other filters available.