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

Makefile CI Makefile CI #771: opened by bollu
August 19, 2024 18:41 8m 9s bollu:nice
bollu:nice
August 19, 2024 18:41 8m 9s
Respect Apple's ABI for cosimulations Makefile CI #770: Pull request #95 synchronize by shigoel
August 19, 2024 18:41 8m 29s apple_abi
apple_abi
August 19, 2024 18:41 8m 29s
Incorporate Yan's suggestions Makefile CI #769: Commit a72ae69 pushed by shigoel
August 19, 2024 18:41 9m 9s apple_abi
apple_abi
August 19, 2024 18:41 9m 9s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #768: Pull request #90 synchronize by bollu
August 19, 2024 18:01 7m 58s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 18:01 7m 58s
Respect Apple's ABI for cosimulations Makefile CI #767: Pull request #95 synchronize by shigoel
August 19, 2024 17:05 8m 51s apple_abi
apple_abi
August 19, 2024 17:05 8m 51s
Fix return values of functions in platform_check.sh Makefile CI #766: Commit 77c330c pushed by shigoel
August 19, 2024 17:05 9m 41s apple_abi
apple_abi
August 19, 2024 17:05 9m 41s
Respect Apple's ABI for cosimulations Makefile CI #765: Pull request #95 opened by shigoel
August 19, 2024 16:26 4m 49s apple_abi
apple_abi
August 19, 2024 16:26 4m 49s
Respect Apple's ABI for cosimulations Makefile CI #764: Commit 0605e8c pushed by shigoel
August 19, 2024 16:25 5m 12s apple_abi
apple_abi
August 19, 2024 16:25 5m 12s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #763: Pull request #90 synchronize by bollu
August 19, 2024 06:13 7m 26s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 06:13 7m 26s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #762: Pull request #90 synchronize by bollu
August 19, 2024 06:10 8m 19s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 06:10 8m 19s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #761: Pull request #90 synchronize by bollu
August 19, 2024 06:02 7m 23s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 06:02 7m 23s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #760: Pull request #90 synchronize by bollu
August 19, 2024 05:32 8m 1s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 05:32 8m 1s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #759: Pull request #90 synchronize by bollu
August 19, 2024 04:35 8m 29s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 04:35 8m 29s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #758: Pull request #90 synchronize by bollu
August 19, 2024 04:27 8m 6s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 04:27 8m 6s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #757: Pull request #90 synchronize by bollu
August 19, 2024 02:52 9m 23s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:52 9m 23s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #756: Pull request #90 synchronize by bollu
August 19, 2024 02:47 8m 39s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:47 8m 39s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #755: Pull request #90 synchronize by bollu
August 19, 2024 02:46 11m 39s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:46 11m 39s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #754: Pull request #90 synchronize by bollu
August 19, 2024 02:35 8m 43s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:35 8m 43s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #753: Pull request #90 synchronize by bollu
August 19, 2024 02:34 7m 52s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:34 7m 52s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #752: Pull request #90 synchronize by bollu
August 19, 2024 02:31 8m 7s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:31 8m 7s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #751: Pull request #90 synchronize by bollu
August 19, 2024 02:17 8m 22s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:17 8m 22s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #750: Pull request #90 synchronize by bollu
August 19, 2024 02:10 8m 12s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 02:10 8m 12s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #749: Pull request #90 synchronize by bollu
August 19, 2024 01:45 7m 44s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 01:45 7m 44s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #748: Pull request #90 synchronize by bollu
August 19, 2024 01:36 9m 21s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 19, 2024 01:36 9m 21s
feat: Proof automation for simplifying reads of known reads [3/3] Makefile CI #747: Pull request #90 synchronize by bollu
August 17, 2024 00:09 3m 32s bollu:memory-aliasing-tactic-v2
bollu:memory-aliasing-tactic-v2
August 17, 2024 00:09 3m 32s