Skip to content

Actions: opencompl/fp.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add complaint about bv_decide core library #9: Commit 41ebcdc pushed by bollu
March 13, 2025 15:29 19s main
main
March 13, 2025 15:29 19s
feat: equality is reflexive for FP, modulo NaN core library #8: Commit 0025d30 pushed by bollu
March 13, 2025 15:26 27s main
main
March 13, 2025 15:26 27s
Checkpoint: test bv_decide core library #7: Commit 9ae223d pushed by spdskatr
March 13, 2025 15:23 20s main
main
March 13, 2025 15:23 20s
Fix CI core library #6: Commit ba73a95 pushed by spdskatr
March 12, 2025 15:30 27s main
main
March 12, 2025 15:30 27s
Implement addition core library #5: Commit fa7ec39 pushed by spdskatr
March 12, 2025 15:28 19s main
main
March 12, 2025 15:28 19s
Implement conversion to fixed-point core library #4: Commit d7e4744 pushed by spdskatr
March 4, 2025 17:30 29s main
main
March 4, 2025 17:30 29s
chore: add badge core library #3: Commit c49328b pushed by spdskatr
March 4, 2025 12:30 17s main
main
March 4, 2025 12:30 17s
nuke old lean action CI core library #2: Commit f23e640 pushed by spdskatr
March 4, 2025 12:30 23s main
main
March 4, 2025 12:30 23s
chore: setup CI core library #1: Commit 160320c pushed by spdskatr
March 4, 2025 12:28 27s main
main
March 4, 2025 12:28 27s
chore: setup CI Lean Action CI #2: Commit 160320c pushed by spdskatr
March 4, 2025 12:28 21s main
main
March 4, 2025 12:28 21s
chore: fix project hierarchy Lean Action CI #1: Commit ffe29ae pushed by spdskatr
March 4, 2025 11:42 25s main
main
March 4, 2025 11:42 25s