Skip to content

Actions: leodemoura/LNSym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

workarounds Makefile CI #5: Commit e4f1238 pushed by leodemoura
June 27, 2024 16:57 1m 37s bv_decide
bv_decide
June 27, 2024 16:57 1m 37s
Refactoring tactics for symbolic simulation Makefile CI #4: Commit 00248a6 pushed by leodemoura
June 27, 2024 16:56 8m 57s main
main
June 27, 2024 16:56 8m 57s
chore: upgrade to lean4:nightly-2024-06-26 Makefile CI #3: Commit c1ae8f5 pushed by leodemoura
June 26, 2024 21:35 6m 44s bv_decide
bv_decide
June 26, 2024 21:35 6m 44s
missing file Makefile CI #2: Commit cab8b60 pushed by leodemoura
February 21, 2024 13:48 51s no_mathlib
no_mathlib
February 21, 2024 13:48 51s
disable several proofs to move to nightly Makefile CI #1: Commit afc9283 pushed by leodemoura
February 21, 2024 01:30 23s no_mathlib
no_mathlib
February 21, 2024 01:30 23s