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 #198: Scheduled
2h 13m 54s main
main
2h 13m 54s
Merge pull request #13 from oralang/MLIR_register CI #197: Commit 9942370 pushed by ngmachado
2h 34m 46s main
main
2h 34m 46s
Mlir register CI #196: Pull request #13 opened by ngmachado
2h 22m 48s MLIR_register
MLIR_register
2h 22m 48s
CI CI #195: Scheduled
2h 14m 24s main
main
2h 14m 24s
CI CI #194: Scheduled
2h 9m 47s main
main
2h 9m 47s
Z3 initial infra support CI #193: Commit df8d94c pushed by ngmachado
2h 10m 39s main
main
2h 10m 39s
CI CI #192: Scheduled
2h 1m 14s main
main
2h 1m 14s
fix title CI #191: Commit bb8c683 pushed by ngmachado
2h 7m 5s main
main
2h 7m 5s
Merge pull request #12 from oralang/refined_types CI #190: Commit 0d510e9 pushed by ngmachado
2h 26m 56s main
main
2h 26m 56s
Refined types and union errors fixes CI #189: Pull request #12 opened by ngmachado
2h 37m 30s refined_types
refined_types
2h 37m 30s
CI CI #188: Scheduled
2h 6m 21s main
main
2h 6m 21s
CI CI #187: Scheduled
2h 4m 2s main
main
2h 4m 2s
CI CI #186: Scheduled
5h 10m 47s main
main
5h 10m 47s
CI CI #185: Scheduled
2h 4m 40s main
main
2h 4m 40s
CI CI #184: Scheduled
2h 23m 10s main
main
2h 23m 10s
CI CI #183: Scheduled
1h 51m 55s main
main
1h 51m 55s
CI CI #182: Scheduled
2h 19m 49s main
main
2h 19m 49s
CI CI #181: Scheduled
2h 33m 24s main
main
2h 33m 24s
CI CI #180: Scheduled
1h 58m 26s main
main
1h 58m 26s
CI CI #179: Scheduled
2h 18m 20s main
main
2h 18m 20s
Merge pull request #11 from oralang/z3 CI #178: Commit b4e731f pushed by ngmachado
2h 37m 35s main
main
2h 37m 35s
init z3 integration CI #177: Pull request #11 synchronize by ngmachado
2h 3m 11s z3
z3
2h 3m 11s
init z3 integration CI #176: Pull request #11 synchronize by ngmachado
2h 26m 5s z3
z3
2h 26m 5s
CI CI #175: Scheduled
1h 55m 57s main
main
1h 55m 57s
init z3 integration CI #174: Pull request #11 synchronize by ngmachado
1h 58m 16s z3
z3
1h 58m 16s
ProTip! You can narrow down the results and go further in time using created:<2025-10-27 or the other filters available.