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

Filter by Status

Filter by Branch

Filter by Actor

add \hide{ } for only compiled, not shown code blocks
Build #7: Commit be6a33d pushed by m4lvin
May 30, 2024 13:12 3m 10s 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
April 12, 2024 17:18 48s
delete profiling section
Build #4: Commit 797160a pushed by m4lvin
April 12, 2024 17:11 1m 16s 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
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
April 12, 2024 16:55 4m 13s