Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,440 workflow runs
5,440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: add monad declaration in files without register use Check formatting #1912: Pull request #922 synchronize by javra
January 30, 2025 10:49 35s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 10:49 35s
Lean: add monad declaration in files without register use Test coverage #1965: Pull request #922 synchronize by javra
January 30, 2025 10:49 22m 30s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 10:49 22m 30s
Publish test results Publish test results #1922: completed by javra
January 30, 2025 10:05 18s
January 30, 2025 10:05 18s
Publish test results Publish test results #1921: completed by javra
January 30, 2025 09:58 21s
January 30, 2025 09:58 21s
Publish test results Publish test results #1920: completed by javra
January 30, 2025 09:57 20s
January 30, 2025 09:57 20s
Lean: add monad declaration in files without register use Test coverage #1964: Pull request #922 synchronize by javra
January 30, 2025 09:42 22m 40s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:42 22m 40s
Lean: add monad declaration in files without register use Check formatting #1911: Pull request #922 synchronize by javra
January 30, 2025 09:42 35s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:42 35s
Lean: add monad declaration in files without register use Test coverage #1963: Pull request #922 synchronize by javra
January 30, 2025 09:35 22m 38s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:35 22m 38s
Lean: add monad declaration in files without register use Check formatting #1910: Pull request #922 synchronize by javra
January 30, 2025 09:35 1m 34s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:35 1m 34s
Lean: add monad declaration in files without register use Check formatting #1909: Pull request #922 opened by javra
January 30, 2025 09:35 38s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:35 38s
Lean: add monad declaration in files without register use Test coverage #1962: Pull request #922 opened by javra
January 30, 2025 09:35 22m 7s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:35 22m 7s
Publish test results Publish test results #1919: completed by Alasdair
January 29, 2025 22:14 21s
January 29, 2025 22:14 21s
feat(ci): add Lean testing in the CI Test coverage #1961: Pull request #871 synchronize by Alasdair
January 29, 2025 21:49 23m 10s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 29, 2025 21:49 23m 10s
feat(ci): add Lean testing in the CI Check formatting #1908: Pull request #871 synchronize by Alasdair
January 29, 2025 21:49 55s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 29, 2025 21:49 55s
Publish test results Publish test results #1918: completed by Alasdair
January 29, 2025 20:18 16s
January 29, 2025 20:18 16s
Fixing calls to effectful functions Test coverage #1960: Commit 5740618 pushed by Alasdair
January 29, 2025 19:56 22m 22s sail2
sail2
January 29, 2025 19:56 22m 22s
Fixing calls to effectful functions Check formatting #1907: Commit 5740618 pushed by Alasdair
January 29, 2025 19:56 37s sail2
sail2
January 29, 2025 19:56 37s
Fixing calls to effectful functions Build matrix #1012: Commit 5740618 pushed by Alasdair
January 29, 2025 19:56 8m 41s sail2
sail2
January 29, 2025 19:56 8m 41s
Publish test results Publish test results #1917: completed by Alasdair
January 29, 2025 19:27 21s
January 29, 2025 19:27 21s
feat(ci): add Lean testing in the CI Check formatting #1906: Pull request #871 synchronize by Alasdair
January 29, 2025 19:02 1m 48s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 29, 2025 19:02 1m 48s
feat(ci): add Lean testing in the CI Test coverage #1959: Pull request #871 synchronize by Alasdair
January 29, 2025 19:02 24m 57s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 29, 2025 19:02 24m 57s
Publish test results Publish test results #1916: completed by Alasdair
January 29, 2025 18:42 27s
January 29, 2025 18:42 27s
Publish test results Publish test results #1915: completed by Alasdair
January 29, 2025 18:32 14s
January 29, 2025 18:32 14s
Publish test results Publish test results #1914: completed by bacam
January 29, 2025 18:20 22s
January 29, 2025 18:20 22s
feat(ci): add Lean testing in the CI Test coverage #1958: Pull request #871 synchronize by Alasdair
January 29, 2025 18:15 27m 10s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 29, 2025 18:15 27m 10s