Skip to content

Actions: leanprover/LNSym

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefile.yml
794 workflow run results
794 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding MOV related instructions Makefile CI #44: Pull request #16 synchronize by shigoel
February 22, 2024 05:21 12m 14s pennyannn:yppe/mov
pennyannn:yppe/mov
February 22, 2024 05:21 12m 14s
EOR3, part of Crypto four registers. (#17) Makefile CI #43: Commit 7b3bc81 pushed by shigoel
February 22, 2024 04:32 11m 57s main
main
February 22, 2024 04:32 11m 57s
EOR3, part of Crypto four registers. Makefile CI #42: Pull request #17 synchronize by nebeid
February 22, 2024 00:58 12m 11s nebeid:eor3
nebeid:eor3
February 22, 2024 00:58 12m 11s
EOR3, part of Crypto four registers. Makefile CI #41: Pull request #17 synchronize by nebeid
February 21, 2024 22:58 12m 7s nebeid:eor3
nebeid:eor3
February 21, 2024 22:58 12m 7s
EOR3, part of Crypto four registers. Makefile CI #40: Pull request #17 opened by nebeid
February 21, 2024 22:58 11m 38s nebeid:eor3
nebeid:eor3
February 21, 2024 22:58 11m 38s
Adding MOV related instructions Makefile CI #39: Pull request #16 synchronize by pennyannn
February 21, 2024 21:35 11m 55s pennyannn:yppe/mov
pennyannn:yppe/mov
February 21, 2024 21:35 11m 55s
Adding MOV related instructions Makefile CI #38: Pull request #16 synchronize by pennyannn
February 21, 2024 19:19 12m 49s pennyannn:yppe/mov
pennyannn:yppe/mov
February 21, 2024 19:19 12m 49s
Update LDST (#15) Makefile CI #37: Commit 681f64e pushed by shigoel
February 21, 2024 17:05 11m 58s main
main
February 21, 2024 17:05 11m 58s
Update LDST Makefile CI #36: Pull request #15 synchronize by shigoel
February 21, 2024 16:48 12m 4s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 21, 2024 16:48 12m 4s
Update LDST Makefile CI #35: Pull request #15 synchronize by shigoel
February 21, 2024 15:14 11m 55s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 21, 2024 15:14 11m 55s
Update LDST Makefile CI #34: Pull request #15 synchronize by shigoel
February 21, 2024 14:13 9m 44s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 21, 2024 14:13 9m 44s
Split sym1 into smaller tactics (#14) Makefile CI #33: Commit a3e762f pushed by shigoel
February 21, 2024 12:37 11m 54s main
main
February 21, 2024 12:37 11m 54s
Adding MOV related instructions Makefile CI #32: Pull request #16 opened by pennyannn
February 20, 2024 23:49 11m 39s pennyannn:yppe/mov
pennyannn:yppe/mov
February 20, 2024 23:49 11m 39s
Update LDST Makefile CI #31: Pull request #15 synchronize by pennyannn
February 20, 2024 18:52 11m 34s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 20, 2024 18:52 11m 34s
Split sym1 into smaller tactics Makefile CI #30: Pull request #14 synchronize by aqjune-aws
February 20, 2024 17:51 12m 6s aqjune-aws:sym1
aqjune-aws:sym1
February 20, 2024 17:51 12m 6s
Address comments Makefile CI #29: Commit fa621c5 pushed by aqjune-aws
February 20, 2024 17:50 11m 55s sym1
sym1
February 20, 2024 17:50 11m 55s
Split sym1 into smaller tactics Makefile CI #28: Pull request #14 synchronize by shigoel
February 20, 2024 16:08 11m 52s aqjune-aws:sym1
aqjune-aws:sym1
February 20, 2024 16:08 11m 52s
Update LDST Makefile CI #27: Pull request #15 synchronize by pennyannn
February 19, 2024 22:19 11m 56s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 19, 2024 22:19 11m 56s
Update LDST Makefile CI #26: Pull request #15 synchronize by pennyannn
February 19, 2024 22:18 11m 48s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 19, 2024 22:18 11m 48s
Update Makefile CI to run on all pull request activity Makefile CI #25: Commit 16b24c6 pushed by shigoel
February 16, 2024 16:17 12m 7s main
main
February 16, 2024 16:17 12m 7s
Update LDST Makefile CI #24: Pull request #15 opened by pennyannn
February 15, 2024 18:45 12m 3s pennyannn:yppe/ldst
pennyannn:yppe/ldst
February 15, 2024 18:45 12m 3s
Split sym1 into smaller tactics Makefile CI #23: Pull request #14 opened by aqjune-aws
February 15, 2024 15:52 12m 17s aqjune-aws:sym1
aqjune-aws:sym1
February 15, 2024 15:52 12m 17s
Reword the PR template Makefile CI #22: Commit 48ba375 pushed by shigoel
February 15, 2024 11:01 12m 0s main
main
February 15, 2024 11:01 12m 0s
Update PR template Makefile CI #21: Commit fdc54fb pushed by shigoel
February 15, 2024 10:53 11m 54s main
main
February 15, 2024 10:53 11m 54s
Merge pull request #10 from pennyannn/yppe/pmull Makefile CI #20: Commit 4c3ec6f pushed by shigoel
February 15, 2024 02:40 11m 40s main
main
February 15, 2024 02:40 11m 40s
ProTip! You can narrow down the results and go further in time using created:<2024-02-15 or the other filters available.