Skip to content

Actions: opencompl/fp.lean

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
9 workflow runs
9 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