Skip to content

Actions: cfr42/prooftrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #969057438 Dependabot Updates #19: by dependabot bot
February 24, 2025 01:23 35s main
main
February 24, 2025 01:23 35s
Merge branch 'devel': +mem cfg update tlg Automatic Checks #16: Commit bac11a0 pushed by cfr42
February 23, 2025 04:45 12m 49s main
main
February 23, 2025 04:45 12m 49s
+mem config Automatic Checks #15: Commit 5bafa48 pushed by cfr42
February 23, 2025 04:41 12m 53s devel
devel
February 23, 2025 04:41 12m 53s
TeX : prooftrees : update tests for memoize 1.4.0 memo changes Automatic Checks #14: Commit 6acf348 pushed by cfr42
February 23, 2025 03:52 12m 20s devel
devel
February 23, 2025 03:52 12m 20s
Automatic Checks Automatic Checks #13: Manually run by cfr42
February 23, 2025 01:06 9m 31s main
main
February 23, 2025 01:06 9m 31s
github_actions in /. - Update #965324603 Dependabot Updates #18: by dependabot bot
February 17, 2025 02:07 32s main
main
February 17, 2025 02:07 32s
github_actions in /. - Update #961009811 Dependabot Updates #17: by dependabot bot
February 10, 2025 01:53 36s main
main
February 10, 2025 01:53 36s
github_actions in /. - Update #957506661 Dependabot Updates #16: by dependabot bot
February 3, 2025 01:10 38s main
main
February 3, 2025 01:10 38s
github_actions in /. - Update #953616371 Dependabot Updates #15: by dependabot bot
January 27, 2025 02:02 32s main
main
January 27, 2025 02:02 32s
github_actions in /. - Update #950013385 Dependabot Updates #14: by dependabot bot
January 20, 2025 01:14 34s main
main
January 20, 2025 01:14 34s
github_actions in /. - Update #946519789 Dependabot Updates #13: by dependabot bot
January 13, 2025 01:27 38s main
main
January 13, 2025 01:27 38s
github_actions in /. - Update #943129074 Dependabot Updates #12: by dependabot bot
January 6, 2025 02:07 38s main
main
January 6, 2025 02:07 38s
github_actions in /. - Update #939615478 Dependabot Updates #11: by dependabot bot
December 30, 2024 01:51 37s main
main
December 30, 2024 01:51 37s
github_actions in /. - Update #936547690 Dependabot Updates #10: by dependabot bot
December 23, 2024 02:08 37s main
main
December 23, 2024 02:08 37s
github_actions in /. - Update #932881587 Dependabot Updates #9: by dependabot bot
December 16, 2024 01:34 38s main
main
December 16, 2024 01:34 38s
github_actions in /. - Update #929170718 Dependabot Updates #8: by dependabot bot
December 9, 2024 01:53 34s main
main
December 9, 2024 01:53 34s
github_actions in /. - Update #925376441 Dependabot Updates #7: by dependabot bot
December 2, 2024 02:07 36s main
main
December 2, 2024 02:07 36s
github_actions in /. - Update #921609829 Dependabot Updates #6: by dependabot bot
November 25, 2024 01:20 38s main
main
November 25, 2024 01:20 38s
github_actions in /. - Update #917882594 Dependabot Updates #5: by dependabot bot
November 18, 2024 02:04 38s main
main
November 18, 2024 02:04 38s
github_actions in /. - Update #914415186 Dependabot Updates #4: by dependabot bot
November 11, 2024 01:47 35s main
main
November 11, 2024 01:47 35s
readd fixes from devel because I cannot get this right (recovered fro… Automatic Checks #12: Commit bcc6de2 pushed by cfr42
November 5, 2024 05:31 13m 19s main
main
November 5, 2024 05:31 13m 19s
add status for devel to readme Automatic Checks #11: Commit 4e1e8fa pushed by cfr42
November 5, 2024 05:24 12m 39s devel
devel
November 5, 2024 05:24 12m 39s
svn rev Automatic Checks #10: Commit 5e6911d pushed by cfr42
November 5, 2024 04:47 12m 44s devel
devel
November 5, 2024 04:47 12m 44s
rm env restrictions (build.lua); rm removal of env restrictions (yaml) Automatic Checks #9: Commit 6ddc98c pushed by cfr42
November 4, 2024 15:39 6h 0m 32s main
main
November 4, 2024 15:39 6h 0m 32s
github_actions in /. - Update #910891554 Dependabot Updates #3: by dependabot bot
November 4, 2024 01:45 35s main
main
November 4, 2024 01:45 35s