Skip to content

Actions: rems-project/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
1,559 workflow runs
1,559 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: add support for register definitions Check formatting #1839: Pull request #894 synchronize by lfrenot
January 22, 2025 14:44 1m 36s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 22, 2025 14:44 1m 36s
Lean: add support for register definitions Check formatting #1838: Pull request #894 synchronize by lfrenot
January 22, 2025 14:31 37s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 22, 2025 14:31 37s
Sail configuration system Check formatting #1837: Pull request #865 synchronize by Alasdair
January 22, 2025 14:18 49s config
config
January 22, 2025 14:18 49s
Config: Support for unions Check formatting #1836: Commit 03a8836 pushed by Alasdair
January 22, 2025 14:18 38s config
config
January 22, 2025 14:18 38s
Lean: add support for register definitions Check formatting #1835: Pull request #894 synchronize by lfrenot
January 22, 2025 14:00 1m 22s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 22, 2025 14:00 1m 22s
Lean: Monadic lets and returns (#895) Check formatting #1834: Commit 0b14166 pushed by bacam
January 22, 2025 11:04 53s sail2
sail2
January 22, 2025 11:04 53s
Support empty bitfield Check formatting #1833: Pull request #902 synchronize by trdthg
January 22, 2025 08:22 36s trdthg:empty_bitfield
trdthg:empty_bitfield
January 22, 2025 08:22 36s
Support empty bitfield Check formatting #1832: Pull request #902 synchronize by trdthg
January 22, 2025 07:42 2m 4s trdthg:empty_bitfield
trdthg:empty_bitfield
January 22, 2025 07:42 2m 4s
Support empty bitfield Check formatting #1831: Pull request #902 synchronize by trdthg
January 22, 2025 06:49 33s trdthg:empty_bitfield
trdthg:empty_bitfield
January 22, 2025 06:49 33s
Support empty bitfield Check formatting #1830: Pull request #902 synchronize by trdthg
January 22, 2025 06:44 41s trdthg:empty_bitfield
trdthg:empty_bitfield
January 22, 2025 06:44 41s
Support empty bitfield Check formatting #1829: Pull request #902 synchronize by trdthg
January 22, 2025 06:41 34s trdthg:empty_bitfield
trdthg:empty_bitfield
January 22, 2025 06:41 34s
Support empty bitfield Check formatting #1828: Pull request #902 opened by trdthg
January 22, 2025 06:36 46s trdthg:empty_bitfield
trdthg:empty_bitfield
January 22, 2025 06:36 46s
Lean: add support for register definitions Check formatting #1827: Pull request #894 synchronize by lfrenot
January 21, 2025 17:28 34s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 21, 2025 17:28 34s
Coq: fix pure loops inside a monadic expression Check formatting #1826: Commit f8de74b pushed by bacam
January 21, 2025 17:13 37s sail2
sail2
January 21, 2025 17:13 37s
Coq fixes for the HEAD of RISC-V Check formatting #1825: Pull request #900 opened by bacam
January 21, 2025 16:45 44s bacam:coq-riscv-fixes
bacam:coq-riscv-fixes
January 21, 2025 16:45 44s
Lean: Monadic lets and returns Check formatting #1824: Pull request #895 synchronize by javra
January 21, 2025 15:24 35s javra:lean/state2
javra:lean/state2
January 21, 2025 15:24 35s
Lean: Monadic lets and returns Check formatting #1823: Pull request #895 synchronize by javra
January 21, 2025 15:13 1m 24s javra:lean/state2
javra:lean/state2
January 21, 2025 15:13 1m 24s
Lean: Monadic lets and returns Check formatting #1822: Pull request #895 synchronize by javra
January 21, 2025 15:11 50s javra:lean/state2
javra:lean/state2
January 21, 2025 15:11 50s
Lean: Monadic lets and returns Check formatting #1821: Pull request #895 synchronize by javra
January 21, 2025 14:15 45s javra:lean/state2
javra:lean/state2
January 21, 2025 14:15 45s
Lean: Monadic lets and returns Check formatting #1820: Pull request #895 synchronize by javra
January 21, 2025 13:34 40s javra:lean/state2
javra:lean/state2
January 21, 2025 13:34 40s
Lean: Monadic lets and returns Check formatting #1819: Pull request #895 synchronize by javra
January 21, 2025 13:25 47s javra:lean/state2
javra:lean/state2
January 21, 2025 13:25 47s
Lean: Monadic lets and returns Check formatting #1818: Pull request #895 synchronize by javra
January 21, 2025 13:03 1m 28s javra:lean/state2
javra:lean/state2
January 21, 2025 13:03 1m 28s
Lean: add support for register definitions Check formatting #1817: Pull request #894 synchronize by lfrenot
January 21, 2025 11:07 48s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 21, 2025 11:07 48s
Lean: add support for register definitions Check formatting #1816: Pull request #894 synchronize by lfrenot
January 21, 2025 11:05 1m 53s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 21, 2025 11:05 1m 53s
Lem: C test suite tweaks Check formatting #1815: Commit a483736 pushed by bacam
January 20, 2025 18:03 48s sail2
sail2
January 20, 2025 18:03 48s