Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,982 workflow run results
1,982 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq: more efficient equality decision procedures for enums Build matrix #434: Commit 47a7b18 pushed by bacam
April 11, 2024 16:25 12m 31s sail2
sail2
April 11, 2024 16:25 12m 31s
Coq: more efficient equality decision procedures for enums Test coverage #706: Commit 47a7b18 pushed by bacam
April 11, 2024 16:25 12m 12s sail2
sail2
April 11, 2024 16:25 12m 12s
Coq: more efficient equality decision procedures for enums Check formatting #654: Commit 47a7b18 pushed by bacam
April 11, 2024 16:25 33s sail2
sail2
April 11, 2024 16:25 33s
Publish test results Publish test results #692: completed by bacam
April 11, 2024 16:22 25s
April 11, 2024 16:22 25s
Coq: more efficient equality decision procedures for enums Test coverage #705: Pull request #495 opened by bacam
April 11, 2024 16:10 12m 19s bacam:coq-enum-eq
bacam:coq-enum-eq
April 11, 2024 16:10 12m 19s
Coq: more efficient equality decision procedures for enums Check formatting #653: Pull request #495 opened by bacam
April 11, 2024 16:10 43s bacam:coq-enum-eq
bacam:coq-enum-eq
April 11, 2024 16:10 43s
Publish test results Publish test results #691: completed by bauereiss
April 10, 2024 16:36 24s
April 10, 2024 16:36 24s
Lem improvements Check formatting #651: Pull request #476 synchronize by bauereiss
April 10, 2024 16:23 1m 4s bauereiss:lem_improvements
bauereiss:lem_improvements
April 10, 2024 16:23 1m 4s
Lem improvements Test coverage #703: Pull request #476 synchronize by bauereiss
April 10, 2024 16:23 13m 4s bauereiss:lem_improvements
bauereiss:lem_improvements
April 10, 2024 16:23 13m 4s
Publish test results Publish test results #690: completed by bacam
April 10, 2024 16:00 23s
April 10, 2024 16:00 23s
Coq: warn that -grouped-regstate isn't supported here Check formatting #650: Commit 0c28da2 pushed by bacam
April 10, 2024 15:47 40s sail2
sail2
April 10, 2024 15:47 40s
Coq: warn that -grouped-regstate isn't supported here Test coverage #702: Commit 0c28da2 pushed by bacam
April 10, 2024 15:47 12m 36s sail2
sail2
April 10, 2024 15:47 12m 36s
Coq: warn that -grouped-regstate isn't supported here Build matrix #433: Commit 0c28da2 pushed by bacam
April 10, 2024 15:47 17m 22s sail2
sail2
April 10, 2024 15:47 17m 22s
Publish test results Publish test results #689: completed by Alasdair
April 10, 2024 15:44 18s
April 10, 2024 15:44 18s
Add SV IR and move Jib SSA file Test coverage #701: Commit f3ad772 pushed by Alasdair
April 10, 2024 15:31 12m 57s new_smt
new_smt
April 10, 2024 15:31 12m 57s
Add SV IR and move Jib SSA file Build matrix #432: Commit f3ad772 pushed by Alasdair
April 10, 2024 15:31 18m 20s new_smt
new_smt
April 10, 2024 15:31 18m 20s
Add SV IR and move Jib SSA file Check formatting #649: Commit f3ad772 pushed by Alasdair
April 10, 2024 15:31 44s new_smt
new_smt
April 10, 2024 15:31 44s
Publish test results Publish test results #688: completed by bacam
April 10, 2024 15:28 27s
April 10, 2024 15:28 27s
Coq: warn that -grouped-regstate isn't supported here Check formatting #648: Pull request #492 opened by bacam
April 10, 2024 15:16 44s bacam:coq-grouped-regstate
bacam:coq-grouped-regstate
April 10, 2024 15:16 44s
Coq: warn that -grouped-regstate isn't supported here Test coverage #700: Pull request #492 opened by bacam
April 10, 2024 15:16 11m 55s bacam:coq-grouped-regstate
bacam:coq-grouped-regstate
April 10, 2024 15:16 11m 55s
Publish test results Publish test results #687: completed by bauereiss
April 10, 2024 13:40 24s
April 10, 2024 13:40 24s
Lem improvements Check formatting #647: Pull request #476 synchronize by bauereiss
April 10, 2024 13:27 30s bauereiss:lem_improvements
bauereiss:lem_improvements
April 10, 2024 13:27 30s
Lem improvements Test coverage #699: Pull request #476 synchronize by bauereiss
April 10, 2024 13:27 12m 44s bauereiss:lem_improvements
bauereiss:lem_improvements
April 10, 2024 13:27 12m 44s
Publish test results Publish test results #686: completed by Alasdair
April 8, 2024 15:44 22s
April 8, 2024 15:44 22s
Add coverage on and coverage off annotations Test coverage #698: Commit db6bcd4 pushed by Alasdair
April 8, 2024 15:32 12m 7s sail2
sail2
April 8, 2024 15:32 12m 7s