Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
772 workflow runs
772 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typing rule for E_vector_update Build matrix #372: Commit 5929b9b pushed by Alasdair
February 9, 2024 15:56 13m 57s sail2
sail2
February 9, 2024 15:56 13m 57s
Fix typing rule for E_vector_update Build matrix #371: Commit 5513022 pushed by Alasdair
February 9, 2024 15:30 13m 36s vector_update_tc_fix
vector_update_tc_fix
February 9, 2024 15:30 13m 36s
Fix typing rule for E_vector_update Build matrix #370: Commit 57cd32e pushed by Alasdair
February 9, 2024 15:21 15m 50s vector_update_tc_fix
vector_update_tc_fix
February 9, 2024 15:21 15m 50s
Fix typing rule for E_vector_update Build matrix #369: Commit 51d5814 pushed by Alasdair
February 9, 2024 15:20 11m 49s vector_update_tc_fix
vector_update_tc_fix
February 9, 2024 15:20 11m 49s
Combines commands to reduce layers and cleans up after installing pac… Build matrix #368: Commit 35a56cb pushed by Alasdair
February 5, 2024 16:11 14m 26s sail2
sail2
February 5, 2024 16:11 14m 26s
Add "not" to list of Lem identifiers to avoid Build matrix #367: Commit bc42d74 pushed by bacam
February 5, 2024 15:10 13m 50s sail2
sail2
February 5, 2024 15:10 13m 50s
Fix bitfield generation with -strict_var Build matrix #366: Commit 9fda0b9 pushed by Alasdair
February 1, 2024 17:56 27m 34s sail2
sail2
February 1, 2024 17:56 27m 34s
Fix bitfield generation with -strict_var Build matrix #365: Commit 1767d28 pushed by Alasdair
February 1, 2024 17:41 23m 33s issue434_fix
issue434_fix
February 1, 2024 17:41 23m 33s
Allow constant expressions in bitfield widths Build matrix #364: Commit 95a5254 pushed by Alasdair
January 24, 2024 18:02 12m 21s sail2
sail2
January 24, 2024 18:02 12m 21s
Allow constant expressions in bitfield widths Build matrix #363: Commit e4df2ab pushed by Alasdair
January 24, 2024 17:42 15m 5s issue431_fix
issue431_fix
January 24, 2024 17:42 15m 5s
Allow constant expressions in bitfield widths Build matrix #362: Commit 3003a6d pushed by Alasdair
January 24, 2024 17:41 13m 27s issue431_fix
issue431_fix
January 24, 2024 17:41 13m 27s
Fix issue 429 Build matrix #361: Commit ef60a9e pushed by Alasdair
January 24, 2024 14:30 12m 1s sail2
sail2
January 24, 2024 14:30 12m 1s
Fix issue 429 Build matrix #360: Commit 067597a pushed by Alasdair
January 24, 2024 14:09 11m 8s issue429_fix
issue429_fix
January 24, 2024 14:09 11m 8s
Fix issues with missing well-formedness checks Build matrix #359: Commit 2b239d7 pushed by Alasdair
January 24, 2024 01:12 16m 53s sail2
sail2
January 24, 2024 01:12 16m 53s
Fix issues with missing well-formedness checks Build matrix #358: Commit 47a89e9 pushed by Alasdair
January 24, 2024 00:08 14m 31s wf_fixes
wf_fixes
January 24, 2024 00:08 14m 31s
Fix issues with missing well-formedness checks Build matrix #357: Commit 0fc8ec4 pushed by Alasdair
January 24, 2024 00:06 10m 53s wf_fixes
wf_fixes
January 24, 2024 00:06 10m 53s
Fix issues with missing well-formedness checks Build matrix #356: Commit 89b6d95 pushed by Alasdair
January 23, 2024 23:25 14m 37s wf_fixes
wf_fixes
January 23, 2024 23:25 14m 37s
Fix issues with missing well-formedness checks Build matrix #355: Commit f3e05ae pushed by Alasdair
January 23, 2024 23:24 16m 32s wf_fixes
wf_fixes
January 23, 2024 23:24 16m 32s
Remove state from Lexer Build matrix #354: Commit b14f649 pushed by Alasdair
January 23, 2024 23:16 12m 28s wf_fixes
wf_fixes
January 23, 2024 23:16 12m 28s
Fix some typos and mistakes in the manual Build matrix #353: Commit 2265db1 pushed by Alasdair
January 19, 2024 17:25 19m 39s sail2
sail2
January 19, 2024 17:25 19m 39s
Fix some typos and mistakes in the manual Build matrix #352: Commit c4e393e pushed by Alasdair
January 19, 2024 17:22 23m 55s manual_fixes
manual_fixes
January 19, 2024 17:22 23m 55s
Add abstract types and global constraints Build matrix #351: Commit 52b411d pushed by Alasdair
January 8, 2024 12:08 16m 29s abstract_types
abstract_types
January 8, 2024 12:08 16m 29s
Add abstract types and global constraints Build matrix #350: Commit 51be6e9 pushed by Alasdair
January 8, 2024 12:07 13m 18s abstract_types
abstract_types
January 8, 2024 12:07 13m 18s
Add abstract types and global constraints Build matrix #349: Commit ac40c46 pushed by Alasdair
January 8, 2024 11:55 3m 50s abstract_types
abstract_types
January 8, 2024 11:55 3m 50s
Add abstract types and global constraints Build matrix #348: Commit edd5035 pushed by Alasdair
January 8, 2024 11:44 3m 39s abstract_types
abstract_types
January 8, 2024 11:44 3m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.