Skip to content

Actions: Smattr/rumur

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
release v2026.09.13 Github Actions CI #102: Pull request #355 opened by Smattr
1h 19m 22s smattr/6ceb5c09-ed5c-452e-8d52-42ef092adfa9
smattr/6ceb5c09-ed5c-452e-8d52-42ef092adfa9
1h 19m 22s
x32 AVX fixes Github Actions CI #101: Pull request #354 opened by Smattr
1h 0m 24s smattr/a45a0db9-5746-47b9-ab22-23e1f3c2b42a
smattr/a45a0db9-5746-47b9-ab22-23e1f3c2b42a
1h 0m 24s
colourised errors Github Actions CI #100: Pull request #353 opened by Smattr
2h 1m 7s smattr/github-338
smattr/github-338
2h 1m 7s
fix mismatched 'open_scope'/'close_scope' when SMT-simplifying Github Actions CI #99: Pull request #352 opened by Smattr
1h 41m 21s smattr/github-346
smattr/github-346
1h 41m 21s
tighten bounds of the type of a numeric literal Github Actions CI #98: Pull request #351 opened by Smattr
1h 46m 19s smattr/github-337
smattr/github-337
1h 46m 19s
CI: CMake linting Github Actions CI #97: Pull request #350 opened by Smattr
56m 30s smattr/8edd84ff-7535-47d1-a0a7-a25a3ce56c15
smattr/8edd84ff-7535-47d1-a0a7-a25a3ce56c15
56m 30s
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