Skip to content

Actions: leanprover/LNSym

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefile.yml
173 workflow run results
173 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for TBL/TBX from Advanced SIMD table lookup class Makefile CI #73: Pull request #23 synchronize by pennyannn
March 1, 2024 22:13 12m 13s pennyannn:yppe/tbl
pennyannn:yppe/tbl
March 1, 2024 22:13 12m 13s
Add Advanced SIMD permute class for TRN1 and TRN2 Makefile CI #72: Pull request #22 synchronize by pennyannn
March 1, 2024 22:11 11m 54s pennyannn:yppe/trn12
pennyannn:yppe/trn12
March 1, 2024 22:11 11m 54s
Add data processing (1 source) class for REV Makefile CI #71: Pull request #21 synchronize by pennyannn
March 1, 2024 22:09 12m 14s pennyannn:yppe/rev
pennyannn:yppe/rev
March 1, 2024 22:09 12m 14s
Add data processing (1 source) class for REV Makefile CI #70: Pull request #21 synchronize by pennyannn
March 1, 2024 22:08 11m 56s pennyannn:yppe/rev
pennyannn:yppe/rev
March 1, 2024 22:08 11m 56s
LSR (alias of UBFM) in Data Processing Immediate. (#20) Makefile CI #69: Commit 14e1c85 pushed by shigoel
March 1, 2024 21:37 12m 18s main
main
March 1, 2024 21:37 12m 18s
LSR (alias of UBFM) in Data Processing Immediate. Makefile CI #68: Pull request #20 synchronize by nebeid
March 1, 2024 21:22 12m 8s nebeid:lsr-ubfm
nebeid:lsr-ubfm
March 1, 2024 21:22 12m 8s
LSR (alias of UBFM) in Data Processing Immediate. Makefile CI #67: Pull request #20 synchronize by nebeid
March 1, 2024 21:21 11m 38s nebeid:lsr-ubfm
nebeid:lsr-ubfm
March 1, 2024 21:21 11m 38s
LSR (alias of UBFM) in Data Processing Immediate. Makefile CI #66: Pull request #20 synchronize by nebeid
March 1, 2024 19:51 12m 34s nebeid:lsr-ubfm
nebeid:lsr-ubfm
March 1, 2024 19:51 12m 34s
Add AESE and AESMC from Cryptographic AES class Makefile CI #65: Pull request #24 synchronize by pennyannn
March 1, 2024 01:59 11m 51s pennyannn:yppe/aes
pennyannn:yppe/aes
March 1, 2024 01:59 11m 51s
Add AESE and AESMC from Cryptographic AES class Makefile CI #64: Pull request #24 opened by pennyannn
March 1, 2024 00:48 11m 58s pennyannn:yppe/aes
pennyannn:yppe/aes
March 1, 2024 00:48 11m 58s
Add support for TBL/TBX from Advanced SIMD table lookup class Makefile CI #63: Pull request #23 opened by pennyannn
February 29, 2024 19:17 11m 49s pennyannn:yppe/tbl
pennyannn:yppe/tbl
February 29, 2024 19:17 11m 49s
Add Advanced SIMD permute class for TRN1 and TRN2 Makefile CI #62: Pull request #22 opened by pennyannn
February 29, 2024 00:41 11m 45s pennyannn:yppe/trn12
pennyannn:yppe/trn12
February 29, 2024 00:41 11m 45s
Add data processing (1 source) class for REV Makefile CI #61: Pull request #21 synchronize by pennyannn
February 29, 2024 00:29 11m 56s pennyannn:yppe/rev
pennyannn:yppe/rev
February 29, 2024 00:29 11m 56s
Add data processing (1 source) class for REV Makefile CI #60: Pull request #21 synchronize by pennyannn
February 29, 2024 00:10 11m 58s pennyannn:yppe/rev
pennyannn:yppe/rev
February 29, 2024 00:10 11m 58s
LSR (alias of UBFM) in Data Processing Immediate. Makefile CI #59: Pull request #20 synchronize by nebeid
February 28, 2024 23:48 12m 30s nebeid:lsr-ubfm
nebeid:lsr-ubfm
February 28, 2024 23:48 12m 30s
Add data processing (1 source) class for REV Makefile CI #58: Pull request #21 synchronize by pennyannn
February 28, 2024 19:34 11m 53s pennyannn:yppe/rev
pennyannn:yppe/rev
February 28, 2024 19:34 11m 53s
Add data processing (1 source) class for REV Makefile CI #57: Pull request #21 opened by pennyannn
February 28, 2024 19:32 11m 54s pennyannn:yppe/rev
pennyannn:yppe/rev
February 28, 2024 19:32 11m 54s
Fix some long lines Makefile CI #56: Commit 5a39086 pushed by shigoel
February 27, 2024 23:14 1m 14s no_mathlib
no_mathlib
February 27, 2024 23:14 1m 14s
Sync. with the main branch Makefile CI #55: Commit 2bad341 pushed by shigoel
February 27, 2024 22:56 1m 22s no_mathlib
no_mathlib
February 27, 2024 22:56 1m 22s
Follow the non-terminal simp rule in Arm/MemoryProofs Makefile CI #54: Commit b764ae3 pushed by shigoel
February 27, 2024 22:49 1m 17s no_mathlib
no_mathlib
February 27, 2024 22:49 1m 17s
LSR (alias of UBFM) in Data Processing Immediate. Makefile CI #53: Pull request #20 opened by nebeid
February 27, 2024 16:56 12m 9s nebeid:lsr-ubfm
nebeid:lsr-ubfm
February 27, 2024 16:56 12m 9s
Merge pull request #19 from pennyannn/yppe/fmov_general Makefile CI #52: Commit 3fc5b4f pushed by shigoel
February 27, 2024 15:11 12m 7s main
main
February 27, 2024 15:11 12m 7s
Bump to nightly-2024-02-24 Makefile CI #51: Commit 18a0ee3 pushed by shigoel
February 25, 2024 06:17 51s no_mathlib
no_mathlib
February 25, 2024 06:17 51s
Add Conversion_between_FP_and_Int_cls for FMOV (general) Makefile CI #50: Pull request #19 synchronize by pennyannn
February 23, 2024 00:47 11m 54s pennyannn:yppe/fmov_general
pennyannn:yppe/fmov_general
February 23, 2024 00:47 11m 54s
Add Conversion_between_FP_and_Int_cls for FMOV (general) Makefile CI #49: Pull request #19 opened by pennyannn
February 23, 2024 00:38 11m 39s pennyannn:yppe/fmov_general
pennyannn:yppe/fmov_general
February 23, 2024 00:38 11m 39s