Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Less ambiguous development version instructions Build matrix #1901: Commit 36484b3 pushed by bacam
27m 38s sail2
sail2
27m 38s
Less ambiguous development version instructions Check formatting #3924: Commit 36484b3 pushed by bacam
34s sail2
sail2
34s
Publish test results Publish test results #3137: completed by bacam
38s
38s
Upload test coverage Upload test coverage #1015: completed by bacam
3m 27s
3m 27s
Less ambiguous development version instructions Check formatting #3923: Pull request #1668 opened by bacam
59s bacam:tweak-install
bacam:tweak-install
59s
Less ambiguous development version instructions Test matrix #1015: Pull request #1668 opened by bacam
23m 25s bacam:tweak-install
bacam:tweak-install
23m 25s
Publish test results Publish test results #3136: completed by bacam
30s
30s
Upload test coverage Upload test coverage #1014: completed by bacam
3m 38s
3m 38s
Rocq CI: bump to 9.1 Test matrix #1014: Pull request #1667 synchronize by bacam
22m 7s bacam:rocq9.1
bacam:rocq9.1
22m 7s
Rocq CI: bump to 9.1 Check formatting #3922: Pull request #1667 synchronize by bacam
30s bacam:rocq9.1
bacam:rocq9.1
30s
Publish test results Publish test results #3135: completed by bacam
24s
24s
Upload test coverage Upload test coverage #1013: completed by bacam
3m 45s
3m 45s
Rocq CI: bump to 9.1 Test matrix #1013: Pull request #1667 opened by bacam
22m 32s bacam:rocq9.1
bacam:rocq9.1
22m 32s
Rocq CI: bump to 9.1 Check formatting #3921: Pull request #1667 opened by bacam
32s bacam:rocq9.1
bacam:rocq9.1
32s
Manual: add section on termination measures Check formatting #3920: Commit 1b80fe3 pushed by bacam
36s sail2
sail2
36s
Manual: add section on termination measures Build matrix #1900: Commit 1b80fe3 pushed by bacam
27m 5s sail2
sail2
27m 5s
Publish test results Publish test results #3134: completed by bacam
27s
27s
Upload test coverage Upload test coverage #1012: completed by bacam
3m 44s
3m 44s
Manual: add section on termination measures Test matrix #1012: Pull request #1666 opened by bacam
24m 31s bacam:termination-doc
bacam:termination-doc
24m 31s
Manual: add section on termination measures Check formatting #3919: Pull request #1666 opened by bacam
1m 14s bacam:termination-doc
bacam:termination-doc
1m 14s
Fix for issue 1664 Build matrix #1899: Commit e553288 pushed by Alasdair
37m 15s sail2
sail2
37m 15s
Fix for issue 1664 Check formatting #3918: Commit e553288 pushed by Alasdair
32s sail2
sail2
32s
Upload test coverage Upload test coverage #1011: completed by Alasdair
3m 42s
3m 42s
Publish test results Publish test results #3133: completed by Alasdair
25s
25s
Fix for issue 1664 Check formatting #3917: Pull request #1665 opened by Alasdair
43s fix_issue1664
fix_issue1664
43s