Skip to content

Actions: oralang/ora

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release Release #165: Scheduled
1m 38s main
main
1m 38s
Release Release #164: Scheduled
1m 41s main
main
1m 41s
Release Release #163: Scheduled
1m 38s main
main
1m 38s
Release Release #162: Scheduled
1m 44s main
main
1m 44s
Release Release #161: Scheduled
2m 11s main
main
2m 11s
Merge pull request #16 from oralang/ora-ir Release #160: Commit f0a45c9 pushed by ngmachado
1m 35s main
main
1m 35s
Release Release #159: Scheduled
1m 28s main
main
1m 28s
Release Release #158: Scheduled
1m 35s main
main
1m 35s
fix title Release #157: Commit c5377c0 pushed by ngmachado
1m 58s main
main
1m 58s
add blog post Release #156: Commit c79f802 pushed by ngmachado
1m 31s main
main
1m 31s
Merge pull request #15 from oralang/multi_refactoring Release #155: Commit fe0c6ca pushed by ngmachado
2m 12s main
main
2m 12s
Release Release #154: Scheduled
2m 13s main
main
2m 13s
Release Release #153: Scheduled
2m 12s main
main
2m 12s
clean broken links Release #152: Commit dd7e5b8 pushed by ngmachado
2m 18s main
main
2m 18s
Merge pull request #14 from oralang/specs Release #151: Commit 0e92b53 pushed by ngmachado
2m 18s main
main
2m 18s
Release Release #150: Scheduled
2m 12s main
main
2m 12s
Release Release #149: Scheduled
2m 34s main
main
2m 34s
Release Release #148: Scheduled
4m 7s main
main
4m 7s
Release Release #147: Scheduled
3m 19s main
main
3m 19s
Release Release #146: Scheduled
2m 31s main
main
2m 31s
Merge pull request #13 from oralang/MLIR_register Release #145: Commit 9942370 pushed by ngmachado
2m 43s main
main
2m 43s
Release Release #144: Scheduled
3m 38s main
main
3m 38s
Release Release #143: Scheduled
2m 14s main
main
2m 14s
Z3 initial infra support Release #142: Commit df8d94c pushed by ngmachado
3m 10s main
main
3m 10s
Release Release #141: Scheduled
3m 24s main
main
3m 24s