Skip to content

Actions: funcspec/report-example

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
add \hide{ } for only compiled, not shown code blocks Build #7: Commit be6a33d pushed by m4lvin
May 30, 2024 13:12 3m 10s main
main
May 30, 2024 13:12 3m 10s
add vs code settings file Build #6: Commit 00ddc4d pushed by m4lvin
April 12, 2024 17:18 48s main
main
April 12, 2024 17:18 48s
delete profiling section Build #4: Commit 797160a pushed by m4lvin
April 12, 2024 17:11 1m 16s main
main
April 12, 2024 17:11 1m 16s
fix test Build #3: Commit ac81cb4 pushed by m4lvin
April 12, 2024 17:05 4m 35s main
main
April 12, 2024 17:05 4m 35s
use newer Haskell, add github action Build #2: Commit bb94774 pushed by m4lvin
April 12, 2024 16:55 4m 13s main
main
April 12, 2024 16:55 4m 13s