Skip to content

Actions: runtimeverification/mir-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,798 workflow runs
2,798 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merging latest master into feature/p-token (#996) Release P-Token KMIR #82: Commit 54644e4 pushed by mariaKt
5m 52s feature/p-token
feature/p-token
5m 52s
Merging latest master into feature/p-token Test #4730: Pull request #996 synchronize by mariaKt
1h 42m 32s feature/p-token-resolved-conflicts
feature/p-token-resolved-conflicts
1h 42m 32s
Merging latest master into feature/p-token Test #4729: Pull request #996 opened by mariaKt
4h 45m 23s feature/p-token-resolved-conflicts
feature/p-token-resolved-conflicts
4h 45m 23s
Basic support for floats (f16, f32, f64, f128) Test #4728: Pull request #995 opened by dkcumming
1h 34m 26s dc/float-basics
dc/float-basics
1h 34m 26s
perf(test): remove redundant integration test executions Test #4727: Pull request #972 synchronize by ehildenb
21m 33s jh/reduce-integration-test-time
jh/reduce-integration-test-time
21m 33s
perf(test): remove redundant integration test executions Test #4726: Pull request #972 synchronize by ehildenb
45m 27s jh/reduce-integration-test-time
jh/reduce-integration-test-time
45m 27s
perf(test): remove redundant integration test executions Test #4725: Pull request #972 synchronize by ehildenb
11m 27s jh/reduce-integration-test-time
jh/reduce-integration-test-time
11m 27s
perf(test): remove redundant integration test executions Test #4724: Pull request #972 synchronize by ehildenb
8m 14s jh/reduce-integration-test-time
jh/reduce-integration-test-time
8m 14s
perf(test): remove redundant integration test executions Test #4723: Pull request #972 synchronize by ehildenb
4m 26s jh/reduce-integration-test-time
jh/reduce-integration-test-time
4m 26s
perf(test): remove redundant integration test executions Test #4722: Pull request #972 synchronize by ehildenb
39m 18s jh/reduce-integration-test-time
jh/reduce-integration-test-time
39m 18s
perf(test): remove redundant integration test executions Test #4721: Pull request #972 synchronize by ehildenb
1m 26s jh/reduce-integration-test-time
jh/reduce-integration-test-time
1m 26s
ci: split integration tests into parallel LLVM and Haskell jobs Test #4720: Pull request #993 synchronize by Stevengre
1h 58m 56s ci/split-llvm-tests-parallel
ci/split-llvm-tests-parallel
1h 58m 56s
ci: split integration tests into parallel LLVM and Haskell jobs Test #4719: Pull request #993 synchronize by Stevengre
30m 25s ci/split-llvm-tests-parallel
ci/split-llvm-tests-parallel
30m 25s
ci: split integration tests into parallel LLVM and Haskell jobs Test #4718: Pull request #993 opened by Stevengre
7m 37s ci/split-llvm-tests-parallel
ci/split-llvm-tests-parallel
7m 37s
Allow compilation of a <file>:<module> via --add-module. Test #4717: Pull request #990 synchronize by mariaKt
1h 30m 55s mk/lemmas-conditional-compilation
mk/lemmas-conditional-compilation
1h 30m 55s
Allow compilation of a <file>:<module> via --add-module. Test #4716: Pull request #990 synchronize by mariaKt
1h 32m 6s mk/lemmas-conditional-compilation
mk/lemmas-conditional-compilation
1h 32m 6s
fix(rt-data): handle singleton-array projection traversal Test #4715: Pull request #976 reopened by Stevengre
1h 32m 23s codex/upstream/issue-021-singleton-array-projection
codex/upstream/issue-021-singleton-array-projection
1h 32m 23s
Allow compilation of a <file>:<module> via --add-module. Test #4714: Pull request #990 synchronize by mariaKt
55m 23s mk/lemmas-conditional-compilation
mk/lemmas-conditional-compilation
55m 23s
Set Version: 0.4.188 Release KMIR #259: Commit e6ab265 pushed by rv-jenkins
9m 50s release
release
9m 50s
test(stable-mir-ui): add external UI test harness with skip managemen… Master Push #248: Commit b6d5c2d pushed by automergerpr-permission-manager bot
12s master
master
12s
Allow compilation of a <file>:<module> via --add-module. Test #4713: Pull request #990 synchronize by mariaKt
2h 3m 26s mk/lemmas-conditional-compilation
mk/lemmas-conditional-compilation
2h 3m 26s
Allow compilation of a <file>:<module> via --add-module. Test #4712: Pull request #990 opened by mariaKt
23s mk/lemmas-conditional-compilation
mk/lemmas-conditional-compilation
23s
test(stable-mir-ui): add external UI test harness with skip management Test #4711: Pull request #968 synchronize by dkcumming
1h 31m 49s codex/import-stable-mir-ui-tests
codex/import-stable-mir-ui-tests
1h 31m 49s
test(stable-mir-ui): add external UI test harness with skip management Test #4710: Pull request #968 synchronize by dkcumming
29s codex/import-stable-mir-ui-tests
codex/import-stable-mir-ui-tests
29s
volatile_{load,store} with statics. Heap allocations. And transmuting wrappers. Test #4709: Pull request #989 opened by dkcumming
2h 7m 43s dc/volatile-constants
dc/volatile-constants
2h 7m 43s