Skip to content

Actions: project-numina/annotation-guidelines

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of https://github.com/project-numina/annotation… Lean Action CI #7: Commit 87ee362 pushed by MantasBaksys
January 21, 2025 13:25 1m 53s master
master
January 21, 2025 13:25 1m 53s
Update README.md Lean Action CI #6: Commit 876c772 pushed by MantasBaksys
January 20, 2025 09:27 1m 50s master
master
January 20, 2025 09:27 1m 50s
update with imo2020sln2 Lean Action CI #5: Commit 0a05fe8 pushed by MantasBaksys
January 14, 2025 18:37 2m 4s master
master
January 14, 2025 18:37 2m 4s
fix typo Lean Action CI #4: Commit 9f55e8d pushed by MantasBaksys
January 14, 2025 17:23 1m 31s master
master
January 14, 2025 17:23 1m 31s
add another example solution Lean Action CI #3: Commit 6cdd657 pushed by MantasBaksys
January 13, 2025 16:24 1m 30s master
master
January 13, 2025 16:24 1m 30s
move from readme, fix formatting Lean Action CI #2: Commit db7fa41 pushed by MantasBaksys
January 12, 2025 21:36 1m 49s master
master
January 12, 2025 21:36 1m 49s
init Lean Action CI #1: Commit db1a3f3 pushed by MantasBaksys
January 12, 2025 21:27 2m 7s master
master
January 12, 2025 21:27 2m 7s