Skip to content

Actions: Lelio-Brun/Obelisk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update CHANGES Build and test #14: Commit a0f97d5 pushed by Lelio-Brun
July 17, 2024 04:54 13m 10s master
master
July 17, 2024 04:54 13m 10s
Ensure relaxed syntax for point-free actions is supported Build and test #13: Commit 84d0649 pushed by Lelio-Brun
July 8, 2024 05:10 10m 20s master
master
July 8, 2024 05:10 10m 20s
ensure Menhir's new syntax is supported Build and test #12: Commit 348087e pushed by Lelio-Brun
July 8, 2024 03:52 10m 17s master
master
July 8, 2024 03:52 10m 17s
update lower bound for Menhir Build and test #11: Commit 8e2ef0e pushed by Lelio-Brun
July 4, 2024 08:38 11m 49s master
master
July 4, 2024 08:38 11m 49s
update README Build and test #10: Commit be6853a pushed by Lelio-Brun
July 2, 2024 19:20 10m 21s v0.7.0
v0.7.0
July 2, 2024 19:20 10m 21s
update README Build and test #9: Commit be6853a pushed by Lelio-Brun
July 2, 2024 19:18 10m 17s master
master
July 2, 2024 19:18 10m 17s
Merge dev Build and test #8: Commit de76980 pushed by Lelio-Brun
July 2, 2024 19:02 10m 7s master
master
July 2, 2024 19:02 10m 7s
disable Travis CI Build and test #7: Commit 94a976a pushed by Lelio-Brun
July 2, 2024 18:32 11m 21s master
master
July 2, 2024 18:32 11m 21s
quiet tests Build and test #6: Commit b5b989b pushed by Lelio-Brun
July 2, 2024 18:29 10m 56s master
master
July 2, 2024 18:29 10m 56s
update tests for CI Build and test #5: Commit fdef82e pushed by Lelio-Brun
July 2, 2024 18:06 10m 41s master
master
July 2, 2024 18:06 10m 41s
Add Actions badge instead of Travis badge Build and test #4: Commit 5780d82 pushed by Lelio-Brun
July 2, 2024 17:03 9m 56s master
master
July 2, 2024 17:03 9m 56s
remove texlive-math-extra from CI Build and test #3: Commit 212ad99 pushed by Lelio-Brun
July 2, 2024 16:57 10m 15s master
master
July 2, 2024 16:57 10m 15s
Update main.yml Build and test #2: Commit 2fd8665 pushed by Lelio-Brun
July 2, 2024 16:54 20s master
master
July 2, 2024 16:54 20s
Use github actions Build and test #1: Commit 91a9376 pushed by Lelio-Brun
July 2, 2024 16:43 7m 6s master
master
July 2, 2024 16:43 7m 6s