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

fix title Release #140: Commit bb8c683 pushed by ngmachado
2m 17s main
main
2m 17s
Merge pull request #12 from oralang/refined_types Release #139: Commit 0d510e9 pushed by ngmachado
2m 14s main
main
2m 14s
Release Release #138: Scheduled
2m 20s main
main
2m 20s
Release Release #137: Scheduled
2m 14s main
main
2m 14s
Release Release #136: Scheduled
2m 13s main
main
2m 13s
Release Release #135: Scheduled
2m 49s main
main
2m 49s
Release Release #134: Scheduled
3m 28s main
main
3m 28s
Release Release #133: Scheduled
3m 32s main
main
3m 32s
Release Release #132: Scheduled
2m 7s main
main
2m 7s
Release Release #131: Scheduled
3m 38s main
main
3m 38s
Release Release #130: Scheduled
3m 13s main
main
3m 13s
Release Release #129: Scheduled
2m 56s main
main
2m 56s
Merge pull request #11 from oralang/z3 Release #128: Commit b4e731f pushed by ngmachado
3m 26s main
main
3m 26s
Release Release #127: Scheduled
4m 1s main
main
4m 1s
Release Release #126: Scheduled
3m 35s main
main
3m 35s
Release Release #125: Scheduled
9m 29s main
main
9m 29s
Merge pull request #10 from oralang/abi Release #124: Commit 15e7a65 pushed by ngmachado
4m 6s main
main
4m 6s
Merge pull request #9 from oralang/standardlib Release #123: Commit a6f7ba5 pushed by ngmachado
3m 50s main
main
3m 50s
Merge pull request #8 from oralang/mlir_polish Release #122: Commit 624c6f0 pushed by ngmachado
2m 28s main
main
2m 28s
Release Release #121: Scheduled
2m 24s main
main
2m 24s
Release Release #120: Scheduled
3m 0s main
main
3m 0s
Merge pull request #7 from oralang/complexity_analysis Release #119: Commit 05587ea pushed by ngmachado
4m 17s main
main
4m 17s
More polish and clear syntax Release #118: Commit ec75f8d pushed by ngmachado
3m 45s main
main
3m 45s
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