Skip to content

Actions: Consensys/linea-constraints

Actions

Check compilation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
1,948 workflow runs
1,948 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Specification glitches Check compilation #1948: Pull request #466 synchronize by OlivierBBB
October 20, 2024 23:03 13s 465-specification-glitches
465-specification-glitches
October 20, 2024 23:03 13s
fix: BUG: added missing OPCX from the weighted_sum + order of excepti… Check compilation #1947: Commit ee57e5b pushed by OlivierBBB
October 20, 2024 23:03 14s 465-specification-glitches
465-specification-glitches
October 20, 2024 23:03 14s
Specification glitches Check compilation #1946: Pull request #466 synchronize by OlivierBBB
October 20, 2024 22:47 12s 465-specification-glitches
465-specification-glitches
October 20, 2024 22:47 12s
fix: removed deprecated context functions file Check compilation #1945: Commit f376080 pushed by OlivierBBB
October 20, 2024 22:47 14s 465-specification-glitches
465-specification-glitches
October 20, 2024 22:47 14s
Specification glitches Check compilation #1944: Pull request #466 synchronize by OlivierBBB
October 20, 2024 22:40 14s 465-specification-glitches
465-specification-glitches
October 20, 2024 22:40 14s
fix: setting NSR for INVALID instruction family Check compilation #1943: Commit 9d19111 pushed by OlivierBBB
October 20, 2024 22:40 17s 465-specification-glitches
465-specification-glitches
October 20, 2024 22:40 17s
Specification glitches Check compilation #1942: Pull request #466 synchronize by OlivierBBB
October 20, 2024 20:35 13s 465-specification-glitches
465-specification-glitches
October 20, 2024 20:35 13s
fix: included (vacuously true precondition) for MXP call for RETURN i… Check compilation #1941: Commit 5d6f081 pushed by OlivierBBB
October 20, 2024 20:35 13s 465-specification-glitches
465-specification-glitches
October 20, 2024 20:35 13s
Specification glitches Check compilation #1940: Pull request #466 synchronize by OlivierBBB
October 20, 2024 19:52 13s 465-specification-glitches
465-specification-glitches
October 20, 2024 19:52 13s
fix: removed HASH_INFO_STAMP from the constraints Check compilation #1939: Commit f5a06e6 pushed by OlivierBBB
October 20, 2024 19:52 17s 465-specification-glitches
465-specification-glitches
October 20, 2024 19:52 17s
Specification glitches Check compilation #1938: Pull request #466 synchronize by OlivierBBB
October 20, 2024 16:58 13s 465-specification-glitches
465-specification-glitches
October 20, 2024 16:58 13s
fix: removed duplicate of transaction-constancy of HUB_STAMP_TRANSACT… Check compilation #1937: Commit bbe1bda pushed by OlivierBBB
October 20, 2024 16:57 14s 465-specification-glitches
465-specification-glitches
October 20, 2024 16:57 14s
Specification glitches Check compilation #1936: Pull request #466 opened by OlivierBBB
October 20, 2024 16:53 15s 465-specification-glitches
465-specification-glitches
October 20, 2024 16:53 15s
fix: removed duplicate hub-stamp-constancies Check compilation #1935: Commit 1b6e1ae pushed by OlivierBBB
October 20, 2024 16:52 16s 465-specification-glitches
465-specification-glitches
October 20, 2024 16:52 16s
Typo and bug fixes for the ACC instruction family (#462) Check compilation #1934: Commit 2f52939 pushed by OlivierBBB
October 20, 2024 16:52 14s 465-specification-glitches
465-specification-glitches
October 20, 2024 16:52 14s
Typo and bug fixes for the ACC instruction family (#462) Check compilation #1933: Commit 2f52939 pushed by OlivierBBB
October 20, 2024 12:43 12s master
master
October 20, 2024 12:43 12s
feat(mmio): plug MMIO Check compilation #1932: Pull request #313 synchronize by letypequividelespoubelles
October 18, 2024 13:49 18s feat/issue-144/switch-on-mmio-constraints
feat/issue-144/switch-on-mmio-constraints
October 18, 2024 13:49 18s
Merge branch 'master' into feat/issue-144/switch-on-mmio-constraints Check compilation #1931: Commit 1e332f1 pushed by letypequividelespoubelles
October 18, 2024 13:49 14s feat/issue-144/switch-on-mmio-constraints
feat/issue-144/switch-on-mmio-constraints
October 18, 2024 13:49 14s
Make HEIGHT and HEIGHT_NEW explicitly hub-stamp-constant (#464) Check compilation #1930: Commit 95d63a8 pushed by OlivierBBB
October 18, 2024 09:46 14s master
master
October 18, 2024 09:46 14s
Typo and bug fixes for the ACC instruction family Check compilation #1929: Pull request #462 synchronize by OlivierBBB
October 18, 2024 00:07 14s 461-acc-family-constraints-review
461-acc-family-constraints-review
October 18, 2024 00:07 14s
fix: various Check compilation #1928: Commit f94269e pushed by OlivierBBB
October 18, 2024 00:07 14s 461-acc-family-constraints-review
461-acc-family-constraints-review
October 18, 2024 00:07 14s
Make HEIGHT and HEIGHT_NEW explicitly hub-stamp-constant Check compilation #1927: Pull request #464 opened by OlivierBBB
October 17, 2024 20:09 17s 463-hub-stamp-constancy-of-height-columns
463-hub-stamp-constancy-of-height-columns
October 17, 2024 20:09 17s
fix: HEIGHT and HEIGHT_NEW explicitly hub-stamp-constant Check compilation #1926: Commit 8396b86 pushed by OlivierBBB
October 17, 2024 20:08 19s 463-hub-stamp-constancy-of-height-columns
463-hub-stamp-constancy-of-height-columns
October 17, 2024 20:08 19s
Fix order of stack items in lookup HUB -> EXT (#460) Check compilation #1925: Commit 8d7284f pushed by OlivierBBB
October 17, 2024 20:05 15s 463-hub-stamp-constancy-of-height-columns
463-hub-stamp-constancy-of-height-columns
October 17, 2024 20:05 15s
Typo and bug fixes for the ACC instruction family Check compilation #1924: Pull request #462 synchronize by OlivierBBB
October 17, 2024 19:32 15s 461-acc-family-constraints-review
461-acc-family-constraints-review
October 17, 2024 19:32 15s