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

Update Contribution Guidelines Makefile CI #48: Commit 41fed24 pushed by shigoel
February 22, 2024 12:11 52s no_mathlib
no_mathlib
February 22, 2024 12:11 52s
Merge upstream/main and fix broken code and theorems Makefile CI #47: Commit 242004a pushed by shigoel
February 22, 2024 09:54 55s no_mathlib
no_mathlib
February 22, 2024 09:54 55s
Adding MOV related instructions (#16) Makefile CI #46: Commit 9fc7c4b pushed by shigoel
February 22, 2024 07:03 11m 58s main
main
February 22, 2024 07:03 11m 58s
Adding MOV related instructions Makefile CI #45: Pull request #16 synchronize by shigoel
February 22, 2024 06:41 12m 17s pennyannn:yppe/mov
pennyannn:yppe/mov
February 22, 2024 06:41 12m 17s
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