Skip to content

Actions: shingarov/MachineArithmetic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
851 workflow runs
851 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Port LiquidFixpoint's FQ ("new-format") tests Test #1324: Pull request #363 synchronize by shingarov
October 17, 2024 08:11 1m 35s fq-parser
fq-parser
October 17, 2024 08:11 1m 35s
Port LiquidFixpoint's FQ ("new-format") tests Test #1323: Pull request #363 synchronize by shingarov
October 17, 2024 07:41 1m 35s fq-parser
fq-parser
October 17, 2024 07:41 1m 35s
Port LiquidFixpoint's FQ ("new-format") tests Test #1322: Pull request #363 synchronize by shingarov
October 17, 2024 07:36 1m 35s fq-parser
fq-parser
October 17, 2024 07:36 1m 35s
Port LiquidFixpoint's FQ ("new-format") tests Test #1321: Pull request #363 synchronize by shingarov
October 17, 2024 07:32 1m 29s fq-parser
fq-parser
October 17, 2024 07:32 1m 29s
Port LiquidFixpoint's FQ ("new-format") tests Test #1320: Pull request #363 synchronize by shingarov
October 17, 2024 07:27 1m 31s fq-parser
fq-parser
October 17, 2024 07:27 1m 31s
Port LiquidFixpoint's FQ ("new-format") tests Test #1319: Pull request #363 synchronize by shingarov
October 17, 2024 07:16 1m 38s fq-parser
fq-parser
October 17, 2024 07:16 1m 38s
Port LiquidFixpoint's FQ ("new-format") tests Test #1318: Pull request #363 synchronize by shingarov
October 17, 2024 07:11 1m 37s fq-parser
fq-parser
October 17, 2024 07:11 1m 37s
Port LiquidFixpoint's FQ ("new-format") tests Test #1317: Pull request #363 synchronize by shingarov
October 17, 2024 07:10 1m 34s fq-parser
fq-parser
October 17, 2024 07:10 1m 34s
Require at least one argument to κ-app Test #1316: Commit 6187ebe pushed by shingarov
October 17, 2024 06:56 1m 33s pure-z3
pure-z3
October 17, 2024 06:56 1m 33s
Require at least one argument to κ-app Test #1315: Pull request #366 opened by shingarov
October 17, 2024 06:56 1m 30s some-not-many
some-not-many
October 17, 2024 06:56 1m 30s
Port LiquidFixpoint's FQ ("new-format") tests Test #1314: Pull request #363 synchronize by shingarov
October 17, 2024 06:53 1m 37s fq-parser
fq-parser
October 17, 2024 06:53 1m 37s
Port LiquidFixpoint's FQ ("new-format") tests Test #1313: Pull request #363 reopened by shingarov
October 17, 2024 06:53 1m 37s fq-parser
fq-parser
October 17, 2024 06:53 1m 37s
Port LiquidFixpoint's FQ ("new-format") tests Test #1312: Pull request #363 synchronize by shingarov
October 17, 2024 06:38 1m 30s fq-parser
fq-parser
October 17, 2024 06:38 1m 30s
Port LiquidFixpoint's FQ ("new-format") tests Test #1311: Pull request #363 synchronize by shingarov
October 16, 2024 12:51 1m 49s fq-parser
fq-parser
October 16, 2024 12:51 1m 49s
Port LiquidFixpoint's FQ ("new-format") tests Test #1310: Pull request #363 synchronize by shingarov
October 16, 2024 10:20 1m 30s fq-parser
fq-parser
October 16, 2024 10:20 1m 30s
Reuse #decimalNat instead of spelling it out every time Test #1309: Commit 93bbda1 pushed by shingarov
October 16, 2024 09:57 1m 36s pure-z3
pure-z3
October 16, 2024 09:57 1m 36s
Reuse #decimalNat instead of spelling it out every time Test #1308: Pull request #365 opened by shingarov
October 16, 2024 09:55 1m 37s decimalNatural
decimalNatural
October 16, 2024 09:55 1m 37s
Clear up confusion between hBind and bind Test #1307: Commit f08fa0b pushed by shingarov
October 16, 2024 09:53 1m 37s pure-z3
pure-z3
October 16, 2024 09:53 1m 37s
Clear up confusion between hBind and bind Test #1306: Pull request #364 opened by shingarov
October 16, 2024 09:51 1m 40s hBind
hBind
October 16, 2024 09:51 1m 40s
Port LiquidFixpoint's FQ ("new-format") tests Test #1305: Pull request #363 synchronize by shingarov
October 16, 2024 09:39 1m 30s fq-parser
fq-parser
October 16, 2024 09:39 1m 30s
Port LiquidFixpoint's FQ ("new-format") tests Test #1304: Pull request #363 synchronize by shingarov
October 16, 2024 08:25 1m 40s fq-parser
fq-parser
October 16, 2024 08:25 1m 40s
Test PR to kick CI on FxData3 Test #1303: Pull request #360 synchronize by shingarov
October 16, 2024 07:46 1m 35s FxData3
FxData3
October 16, 2024 07:46 1m 35s
Port LiquidFixpoint's FQ ("new-format") tests Test #1302: Pull request #363 synchronize by shingarov
October 16, 2024 07:39 1m 34s fq-parser
fq-parser
October 16, 2024 07:39 1m 34s
Port LiquidFixpoint's FQ ("new-format") tests Test #1301: Pull request #363 synchronize by shingarov
October 16, 2024 07:32 1m 35s fq-parser
fq-parser
October 16, 2024 07:32 1m 35s
Port LiquidFixpoint's FQ ("new-format") tests Test #1300: Pull request #363 synchronize by shingarov
October 15, 2024 23:25 1m 36s fq-parser
fq-parser
October 15, 2024 23:25 1m 36s