Skip to content

Actions: pmc-tools/umbi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add ATS(SMG)-to-PRISM converter test build #80: Commit cb641ed pushed by randriu
22s main
main
22s
release release #48: completed by randriu
45s
45s
bump version bump version #27: Manually run by randriu
21s main
main
21s
move examples to umbi.examples test build #79: Commit a7d261c pushed by randriu
15s main
main
15s
restore ExplicitAts test build #78: Commit dd3bc80 pushed by randriu
12s main
main
12s
minor changes test build #77: Commit c1b7de6 pushed by randriu
15s explicit-ats
explicit-ats
15s
Update documentation to reference the paper properly test build #76: Commit aff74fe pushed by randriu
14s explicit-ats
explicit-ats
14s
restore support for ExplicitAts test build #75: Commit c4f21de pushed by randriu
11s explicit-ats
explicit-ats
11s
release release #47: completed by randriu
47s
47s
bump version bump version #26: Manually run by randriu
18s main
main
18s
pad all bitvectors to 8 bytes test build #74: Commit 320fcf3 pushed by randriu
13s main
main
13s
release release #46: completed by randriu
47s
47s
bump version bump version #25: Manually run by randriu
13s main
main
13s
release release #45: Manually run by randriu
42s main
main
42s
various fixes test build #73: Commit d74576e pushed by randriu
18s main
main
18s
fix rational export size test build #72: Commit 3ae77ac pushed by randriu
16s dev
dev
16s
pad bitvectors to 8 bytes test build #71: Commit 5649655 pushed by randriu
20s dev
dev
20s
pause ATS testing test build #70: Commit 803f2f7 pushed by randriu
17s dev
dev
17s
update lockfile test build #69: Commit d1b814d pushed by randriu
14s main
main
14s
updating .umb parsers to the latest specification test build #68: Commit 668d2ca pushed by randriu
11s main
main
11s
update-3 test build #67: Commit f52f120 pushed by randriu
10s umbi-io-overhaul
umbi-io-overhaul
10s
umbi.io overhaul test build #66: Commit f59b232 pushed by randriu
11s umbi-io-overhaul
umbi-io-overhaul
11s
datatypes overhaul test build #65: Commit e46bf3d pushed by randriu
15s datatypes-overhaul
datatypes-overhaul
15s
initial (ruff) test build #64: Commit ee8e859 pushed by randriu
17s valuation-wip
valuation-wip
17s
Merge pull request #8 from randriu/example-vi test build #63: Commit 81f4d80 pushed by randriu
18s main
main
18s