Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,200 workflow run results
2,200 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #1168: completed by Alasdair
August 24, 2024 22:14 18s
August 24, 2024 22:14 18s
Fix a pattern completeness issue with constant integer types Build matrix #689: Commit f897aef pushed by Alasdair
August 24, 2024 21:59 11m 10s sail2
sail2
August 24, 2024 21:59 11m 10s
Fix a pattern completeness issue with constant integer types Check formatting #1141: Commit f897aef pushed by Alasdair
August 24, 2024 21:59 34s sail2
sail2
August 24, 2024 21:59 34s
Fix a pattern completeness issue with constant integer types Test coverage #1194: Commit f897aef pushed by Alasdair
August 24, 2024 21:59 14m 18s sail2
sail2
August 24, 2024 21:59 14m 18s
Publish test results Publish test results #1167: completed by Alasdair
August 24, 2024 21:57 23s
August 24, 2024 21:57 23s
Publish test results Publish test results #1166: completed by Alasdair
August 24, 2024 21:57 20s
August 24, 2024 21:57 20s
Fix a pattern completeness issue with constant integer types Check formatting #1140: Pull request #665 opened by Alasdair
August 24, 2024 21:44 39s constant_pat_complete
constant_pat_complete
August 24, 2024 21:44 39s
Fix a pattern completeness issue with constant integer types Test coverage #1193: Pull request #665 opened by Alasdair
August 24, 2024 21:44 13m 37s constant_pat_complete
constant_pat_complete
August 24, 2024 21:44 13m 37s
Fix a pattern completeness issue with constant integer types Test coverage #1192: Commit d889fe8 pushed by Alasdair
August 24, 2024 21:43 14m 17s constant_pat_complete
constant_pat_complete
August 24, 2024 21:43 14m 17s
Fix a pattern completeness issue with constant integer types Build matrix #688: Commit d889fe8 pushed by Alasdair
August 24, 2024 21:43 10m 52s constant_pat_complete
constant_pat_complete
August 24, 2024 21:43 10m 52s
Fix a pattern completeness issue with constant integer types Check formatting #1139: Commit d889fe8 pushed by Alasdair
August 24, 2024 21:43 30s constant_pat_complete
constant_pat_complete
August 24, 2024 21:43 30s
Publish test results Publish test results #1165: completed by bacam
August 23, 2024 16:19 17s
August 23, 2024 16:19 17s
Add experimental option to slice out the types used in instantiations Check formatting #1138: Commit 8f649e7 pushed by bacam
August 23, 2024 16:05 34s sail2
sail2
August 23, 2024 16:05 34s
Add experimental option to slice out the types used in instantiations Test coverage #1191: Commit 8f649e7 pushed by bacam
August 23, 2024 16:05 14m 11s sail2
sail2
August 23, 2024 16:05 14m 11s
Add experimental option to slice out the types used in instantiations Build matrix #687: Commit 8f649e7 pushed by bacam
August 23, 2024 16:05 11m 41s sail2
sail2
August 23, 2024 16:05 11m 41s
Publish test results Publish test results #1164: completed by bacam
August 23, 2024 16:04 25s
August 23, 2024 16:04 25s
Add experimental option to slice out the types used in instantiations Check formatting #1137: Pull request #664 opened by bacam
August 23, 2024 15:49 44s bacam:slice-instantiations
bacam:slice-instantiations
August 23, 2024 15:49 44s
Add experimental option to slice out the types used in instantiations Test coverage #1190: Pull request #664 opened by bacam
August 23, 2024 15:49 14m 37s bacam:slice-instantiations
bacam:slice-instantiations
August 23, 2024 15:49 14m 37s
Publish test results Publish test results #1163: completed by bacam
August 21, 2024 16:42 23s
August 21, 2024 16:42 23s
Don't try to run float_prelude test in interactive provers Test coverage #1189: Commit 701afe1 pushed by bacam
August 21, 2024 16:24 17m 31s sail2
sail2
August 21, 2024 16:24 17m 31s
Don't try to run float_prelude test in interactive provers Build matrix #686: Commit 701afe1 pushed by bacam
August 21, 2024 16:24 13m 10s sail2
sail2
August 21, 2024 16:24 13m 10s
Don't try to run float_prelude test in interactive provers Check formatting #1136: Commit 701afe1 pushed by bacam
August 21, 2024 16:24 4m 40s sail2
sail2
August 21, 2024 16:24 4m 40s
Publish test results Publish test results #1162: completed by bacam
August 21, 2024 16:21 20s
August 21, 2024 16:21 20s
Add missing built-in types to context for kind inference Check formatting #1135: Pull request #662 synchronize by bacam
August 21, 2024 16:04 1m 27s bacam:kindinf
bacam:kindinf
August 21, 2024 16:04 1m 27s
Add missing built-in types to context for kind inference Test coverage #1188: Pull request #662 synchronize by bacam
August 21, 2024 16:04 17m 9s bacam:kindinf
bacam:kindinf
August 21, 2024 16:04 17m 9s