Skip to content

Actions: Smattr/rumur

Actions

Github Actions CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
96 workflow runs
96 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
when possible, suppress build paths in Bison-generated files Github Actions CI #96: Pull request #349 synchronize by Smattr
1h 42m 50s smattr/62800585-eefe-4e31-a6bb-ee11c7407d87
smattr/62800585-eefe-4e31-a6bb-ee11c7407d87
1h 42m 50s
when possible, suppress build paths in Bison-generated files Github Actions CI #95: Pull request #349 opened by Smattr
1h 28m 41s smattr/62800585-eefe-4e31-a6bb-ee11c7407d87
smattr/62800585-eefe-4e31-a6bb-ee11c7407d87
1h 28m 41s
release v2026.08.30 Github Actions CI #94: Pull request #348 opened by Smattr
1h 30m 3s smattr/5b6c4a97-f706-48bb-82ea-fd12ec0fc335
smattr/5b6c4a97-f706-48bb-82ea-fd12ec0fc335
1h 30m 3s
murphi-format tweak Github Actions CI #93: Pull request #347 opened by Smattr
1h 37m 22s smattr/github-339
smattr/github-339
1h 37m 22s
[WIP] syntax-only support for 'multiset' Github Actions CI #92: Pull request #344 synchronize by Smattr
1h 31m 1s smattr/github-331
smattr/github-331
1h 31m 1s
[WIP] syntax-only support for 'multiset' Github Actions CI #91: Pull request #344 synchronize by Smattr
1h 37m 1s smattr/github-331
smattr/github-331
1h 37m 1s
[WIP] syntax-only support for 'multiset' Github Actions CI #90: Pull request #344 synchronize by Smattr
1h 29m 43s smattr/github-331
smattr/github-331
1h 29m 43s
[WIP] syntax-only support for 'multiset' Github Actions CI #89: Pull request #344 synchronize by Smattr
1h 36m 28s smattr/github-331
smattr/github-331
1h 36m 28s
[WIP] syntax-only support for 'multiset' Github Actions CI #88: Pull request #344 synchronize by Smattr
1h 46m 51s smattr/github-331
smattr/github-331
1h 46m 51s
[WIP] syntax-only support for 'multiset' Github Actions CI #87: Pull request #344 synchronize by Smattr
1h 39m 31s smattr/github-331
smattr/github-331
1h 39m 31s
[WIP] syntax-only support for 'multiset' Github Actions CI #86: Pull request #344 synchronize by Smattr
1h 23m 21s smattr/github-331
smattr/github-331
1h 23m 21s
[WIP] syntax-only support for 'multiset' Github Actions CI #85: Pull request #344 synchronize by Smattr
1h 42m 58s smattr/github-331
smattr/github-331
1h 42m 58s
[WIP] syntax-only support for 'multiset' Github Actions CI #84: Pull request #344 synchronize by Smattr
1h 6m 27s smattr/github-331
smattr/github-331
1h 6m 27s
[WIP] syntax-only support for 'multiset' Github Actions CI #83: Pull request #344 synchronize by Smattr
1h 25m 23s smattr/github-331
smattr/github-331
1h 25m 23s
[WIP] syntax-only support for 'multiset' Github Actions CI #82: Pull request #344 synchronize by Smattr
6h 19m 5s smattr/github-331
smattr/github-331
6h 19m 5s
[WIP] syntax-only support for 'multiset' Github Actions CI #81: Pull request #344 synchronize by Smattr
1h 46m 0s smattr/github-331
smattr/github-331
1h 46m 0s
[WIP] syntax-only support for 'multiset' Github Actions CI #80: Pull request #344 synchronize by Smattr
2h 35m 42s smattr/github-331
smattr/github-331
2h 35m 42s
[WIP] syntax-only support for 'multiset' Github Actions CI #79: Pull request #344 synchronize by Smattr
1h 56m 28s smattr/github-331
smattr/github-331
1h 56m 28s
[WIP] syntax-only support for 'multiset' Github Actions CI #78: Pull request #344 opened by Smattr
1h 47m 12s smattr/github-331
smattr/github-331
1h 47m 12s
API BREAK: reduce allocations during symbol resolution Github Actions CI #77: Pull request #340 synchronize by Smattr
1h 22m 40s smattr/github-335
smattr/github-335
1h 22m 40s
fix name of boolean constants located during symbol lookup Github Actions CI #76: Pull request #343 opened by Smattr
2h 9m 24s smattr/github-342
smattr/github-342
2h 9m 24s
API BREAK: reduce allocations during symbol resolution Github Actions CI #75: Pull request #340 synchronize by Smattr
1h 53m 13s smattr/github-335
smattr/github-335
1h 53m 13s
API BREAK: reduce allocations during symbol resolution Github Actions CI #74: Pull request #340 opened by Smattr
1h 26m 43s smattr/github-335
smattr/github-335
1h 26m 43s
'union' syntax support Github Actions CI #73: Pull request #332 synchronize by Smattr
1h 30m 26s smattr/github-331
smattr/github-331
1h 30m 26s
'union' syntax support Github Actions CI #72: Pull request #332 synchronize by Smattr
1h 35m 42s smattr/github-331
smattr/github-331
1h 35m 42s