Skip to content

Actions: oralang/ora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow run results
314 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

init z3 integration CI #172: Pull request #11 opened by ngmachado
1h 56m 57s z3
z3
1h 56m 57s
Release Release #125: Scheduled
9m 29s main
main
9m 29s
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
Merge pull request #10 from oralang/abi Release #124: Commit 15e7a65 pushed by ngmachado
4m 6s main
main
4m 6s
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 Release #123: Commit a6f7ba5 pushed by ngmachado
3m 50s main
main
3m 50s
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 Release #122: Commit 624c6f0 pushed by ngmachado
2m 28s main
main
2m 28s
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
Release Release #121: Scheduled
2m 24s main
main
2m 24s
CI CI #164: Scheduled
2h 10m 41s main
main
2h 10m 41s
Release Release #120: Scheduled
3m 0s main
main
3m 0s
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
Merge pull request #7 from oralang/complexity_analysis Release #119: Commit 05587ea pushed by ngmachado
4m 17s main
main
4m 17s
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 Release #118: Commit ec75f8d pushed by ngmachado
3m 45s main
main
3m 45s
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
major update on docs and website Release #117: Commit 4be474f pushed by ngmachado
3m 7s main
main
3m 7s
Release Release #116: Scheduled
2m 29s main
main
2m 29s
CI CI #158: Scheduled
1h 53m 40s main
main
1h 53m 40s