Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,855 workflow runs
4,855 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #1522: completed by lexbailey
November 25, 2024 18:25 26s
November 25, 2024 18:25 26s
bugfix: place_pi_functions now raises error when graph contains loop Test coverage #1554: Pull request #796 opened by lexbailey
November 25, 2024 17:35 24m 29s lexbailey:sail2
lexbailey:sail2
November 25, 2024 17:35 24m 29s
bugfix: place_pi_functions now raises error when graph contains loop Check formatting #1501: Pull request #796 opened by lexbailey
November 25, 2024 17:35 42s lexbailey:sail2
lexbailey:sail2
November 25, 2024 17:35 42s
Publish test results Publish test results #1521: completed by nwf
November 25, 2024 14:54 20s
November 25, 2024 14:54 20s
Publish test results Publish test results #1520: completed by lfrenot
November 25, 2024 14:54 24s
November 25, 2024 14:54 24s
Adding the bitvector function definitions to the lean backend Test coverage #1553: Pull request #788 synchronize by lfrenot
November 25, 2024 14:28 25m 11s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 25, 2024 14:28 25m 11s
Adding the bitvector function definitions to the lean backend Check formatting #1500: Pull request #788 synchronize by lfrenot
November 25, 2024 14:28 44s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 25, 2024 14:28 44s
Publish test results Publish test results #1519: completed by lfrenot
November 25, 2024 11:36 27s
November 25, 2024 11:36 27s
Adding the bitvector function definitions to the lean backend Check formatting #1499: Pull request #788 synchronize by lfrenot
November 25, 2024 11:10 54s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 25, 2024 11:10 54s
Adding the bitvector function definitions to the lean backend Test coverage #1552: Pull request #788 synchronize by lfrenot
November 25, 2024 11:10 25m 38s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 25, 2024 11:10 25m 38s
Publish test results Publish test results #1518: completed by bacam
November 25, 2024 11:01 19s
November 25, 2024 11:01 19s
Update ACL2 link Test coverage #1551: Commit e88a5f0 pushed by bacam
November 25, 2024 10:36 25m 24s sail2
sail2
November 25, 2024 10:36 25m 24s
Update ACL2 link Build matrix #881: Commit e88a5f0 pushed by bacam
November 25, 2024 10:36 7m 43s sail2
sail2
November 25, 2024 10:36 7m 43s
Update ACL2 link Check formatting #1498: Commit e88a5f0 pushed by bacam
November 25, 2024 10:36 33s sail2
sail2
November 25, 2024 10:36 33s
Publish test results Publish test results #1517: completed by bacam
November 25, 2024 10:35 17s
November 25, 2024 10:35 17s
Update ACL2 link Test coverage #1550: Pull request #794 opened by bacam
November 25, 2024 10:11 24m 6s bacam:update-acl2-link
bacam:update-acl2-link
November 25, 2024 10:11 24m 6s
Update ACL2 link Check formatting #1497: Pull request #794 opened by bacam
November 25, 2024 10:11 42s bacam:update-acl2-link
bacam:update-acl2-link
November 25, 2024 10:11 42s
Publish test results Publish test results #1516: completed by lfrenot
November 22, 2024 17:02 23s
November 22, 2024 17:02 23s
Publish test results Publish test results #1515: completed by lfrenot
November 22, 2024 16:58 20s
November 22, 2024 16:58 20s
Publish test results Publish test results #1514: completed by lfrenot
November 22, 2024 16:41 41s
November 22, 2024 16:41 41s
Adding the bitvector function definitions to the lean backend Test coverage #1549: Pull request #788 synchronize by lfrenot
November 22, 2024 16:38 24m 20s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 22, 2024 16:38 24m 20s
Adding the bitvector function definitions to the lean backend Check formatting #1496: Pull request #788 synchronize by lfrenot
November 22, 2024 16:38 42s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 22, 2024 16:38 42s
Publish test results Publish test results #1513: completed by lfrenot
November 22, 2024 16:37 22s
November 22, 2024 16:37 22s
Adding the bitvector function definitions to the lean backend Test coverage #1548: Pull request #788 synchronize by lfrenot
November 22, 2024 16:32 25m 39s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 22, 2024 16:32 25m 39s
Adding the bitvector function definitions to the lean backend Check formatting #1495: Pull request #788 synchronize by lfrenot
November 22, 2024 16:32 35s lfrenot:lean-bitvector-functions
lfrenot:lean-bitvector-functions
November 22, 2024 16:32 35s